Unify Method

SbsSW.SwiPlCs

previous page next page
Copy image CopyHover image
Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog Unify Method
SwiPlCs interface ► SbsSW.SwiPlCs ► PlTerm ► Unify()()()()
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
IconMemberDescription
Unify(PlTerm)
Unify a PlTerm with a PlTerm

Unify(String)
Unify a PlTerm with a PlTerm

Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60605.0 (1.1.60605.0)

previous page start next page