Unify Method (term)

SWI-Prolog SbsSW.SwiPlCs

Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog Unify Method (term)

Unify a PlTerm with a PlTerm

Declaration Syntax

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