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.dll) Version: 1.1.60601.0 (1.1.60601.0)