SolutionVariables Property

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

Examples

CopyC#

public void TestCompoundQuery()
{
    string[] ref_values = { "gloria", "melanie", "ayala" };
    using (PlFrame fr = new PlFrame())
    {
        PlQuery.PlCall("assert(father(uwe, gloria))");
        PlQuery.PlCall("assert(father(uwe, melanie))");
        PlQuery.PlCall("assert(father(uwe, ayala))");
        PlQuery 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(ref_values[i++], (string)vars["C"]);
        }
    }
}