Swi-cs-pl - A CSharp class library to connect .NET languages with SWI-Prolog
PlCall Method
SwiPlCs interface ► SbsSW.SwiPlCs ► PlQuery ► PlCall()()()()
The main purpose of the static PlCall methods is to call a prolog prove or to do some site effects.
Examples
CopyC#CopyC# Members
Assembly: SwiPlCs (Module: SwiPlCs) Version: 1.1.60301.0 (1.1.60301.0)
ExamplesCopyC#Assert.IsTrue(PlQuery.PlCall("is_list", new PlTerm("[a,b,c,d]")));
CopyC#Assert.IsTrue(PlQuery.PlCall("consult", new PlTerm("some_file_name"))); // or Assert.IsTrue(PlQuery.PlCall("consult('some_file_name')"));
Members| Icon | Member | Description |
|---|---|---|
  | 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. |