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
)

member Unify : 
        term : PlTerm -> bool

Parameters

term (PlTerm): the second term for unification

Return Value

Boolean
true or false

Examples

	Copy
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()); }

Copy

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