![Copy image Copy image](icons/copycode.gif)
![CopyHover image CopyHover image](copycodeHighlight.gif)
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.
Remarks
Members
See Unify(PlTerm) for an example.
![](collapse_all.gif)
This methods are introduced for clear separation between the destructive assignment in C# using =
and prolog unification.
![](collapse_all.gif)
Icon | Member | Description |
---|---|---|
![]() | 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)