Unify Method (atom)

SWI-Prolog SbsSW.SwiPlCs

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

Unify a PlTerm with a PlTerm

Declaration Syntax

Visual Basic

Visual C++

public bool Unify(
	string atom
)

Public Function Unify ( _
	atom As String _
) As Boolean

public:
bool Unify(
	String^ atom
)

Parameters

atom (String): A string to unify with

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