Unify Method (term)

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 (term)
SwiPlCs interface ► SbsSW.SwiPlCs ► PlTerm ► Unify(PlTerm)
Unify a PlTerm with a PlTerm
Declaration Syntax
C# Visual Basic Visual C++ F# 
public bool Unify(
	PlTerm term
)
Public Function Unify ( 
	term As PlTerm
) As Boolean
public:
bool Unify(
	PlTerm term
)
member Unify : 
        term : PlTerm -> bool
Parameters
term (PlTerm)
the second term for unification
Return Value
Boolean
true or false
Examples
  Copy imageCopy 
public void UnifyTermVar_doc()
{
    var t1 = new PlTerm("x(A, 2)");
    var 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.dll) Version: 1.1.60605.0 (1.1.60605.0)

previous page start next page