Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog
PlCall Method
SwiPlCs interfaceSbsSW.SwiPlCsPlQueryPlCall()()()()
The main purpose of the static PlCall methods is to call a prolog prove or to do some site effects.
Examples
 Copy imageCopy
Assert.IsTrue(PlQuery.PlCall("is_list", new PlTerm("[a,b,c,d]")));
 Copy imageCopy
Assert.IsTrue(PlQuery.PlCall("consult", new PlTerm("some_file_name")));
// or
Assert.IsTrue(PlQuery.PlCall("consult('some_file_name')"));
Members
IconMemberDescription
PlCall(String, PlTermV)
Create a query where name defines the name of the predicate and av the argument vector. The arity is deduced from av. The predicate is located in the Prolog module user.

PlCall(String, String, PlTermV)
As PlCall(String, PlTermV) but locating the predicate in the named module.

PlCall(String)
Call a goal once.

Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60601.0 (1.1.60601.0)