SolutionVariables Property

SbsSW.SwiPlCs

previous page next page

Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog SolutionVariables Property

Enumerate the PlQueryVariables of one solution.

Declaration Syntax

Visual Basic

Visual C++

public IEnumerable<PlQueryVariables> SolutionVariables { get; }

Public ReadOnly Property SolutionVariables As IEnumerable(Of PlQueryVariables)
	Get

public:
property IEnumerable<PlQueryVariables^>^ SolutionVariables {
	IEnumerable<PlQueryVariables^>^ get ();
}

member SolutionVariables : IEnumerable<PlQueryVariables> with get

Property Value

IEnumerable < (Of < ( <' PlQueryVariables > ) > ) >

Examples

	Copy
public void TestCompoundQuery() { string[] refValues = { "gloria", "melanie", "ayala" }; using (new PlFrame()) { PlQuery.PlCall("assert(father(uwe, gloria))"); PlQuery.PlCall("assert(father(uwe, melanie))"); PlQuery.PlCall("assert(father(uwe, ayala))"); var plq = new PlQuery("father(P,C), atomic_list_concat([P,' is_father_of ',C], L)"); int i = 0; foreach (PlQueryVariables vars in plq.SolutionVariables) { Assert.AreEqual("uwe", (string)vars["P"]); Assert.AreEqual(refValues[i++], (string)vars["C"]); } } }

Copy

public void TestCompoundQuery()
{
    string[] refValues = { "gloria", "melanie", "ayala" };
    using (new PlFrame())
    {
        PlQuery.PlCall("assert(father(uwe, gloria))");
        PlQuery.PlCall("assert(father(uwe, melanie))");
        PlQuery.PlCall("assert(father(uwe, ayala))");
        var plq = new PlQuery("father(P,C), atomic_list_concat([P,' is_father_of ',C], L)");
        int i = 0;
        foreach (PlQueryVariables vars in plq.SolutionVariables)
        {
            Assert.AreEqual("uwe", (string)vars["P"]);
            Assert.AreEqual(refValues[i++], (string)vars["C"]);
        }
    }
}