Unify Method (term)

SWI-Prolog SbsSW.SwiPlCs

previous page next page
Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog Unify Method (term)
SwiPlCs interface ► SbsSW.SwiPlCs ► PlTerm ► Unify(PlTerm)
Unify a PlTerm with a PlTerm
Declaration Syntax
C# Visual Basic Visual C++ 
public bool Unify(
	PlTerm term
)
Public Function Unify ( _
	term As PlTerm _
) As Boolean
public:
bool Unify(
	PlTerm term
)
Parameters
term (PlTerm)
the second term for unification
Return Value
true or false
Examples
CopyC#
public void UnifyTermVar_doc()
{
    PlTerm t1 = new PlTerm("x(A, 2)");
    PlTerm t2 = new PlTerm("x(1, B)");
    Assert.IsTrue(t1.Unify(t2));
    Assert.AreEqual("x(1,2)", t1.ToString());
    Assert.AreEqual("x(1,2)", t2.ToString());
}

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

previous page start next page