Unify Method

Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog Unify Method

This methods performs Prolog unification and returns true if successful and false otherwise. It is equal to the prolog =/2 operator.

See Unify(PlTerm) for an example.

Remarks

This methods are introduced for clear separation between the destructive assignment in C# using = and prolog unification.

Members

Icon	Member	Description
	Unify(PlTerm)	Unify a PlTerm with a PlTerm
	Unify(String)	Unify a PlTerm with a PlTerm

Assembly: SwiPlCs (Module: SwiPlCs) Version: 1.1.60301.0 (1.1.60301.0)