![Copy image Copy image](icons/copycode.gif)
![CopyHover image CopyHover image](copycodeHighlight.gif)
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
Members
![](collapse_all.gif)
![]() | |
---|---|
Assert.IsTrue(PlQuery.PlCall("is_list", new PlTerm("[a,b,c,d]"))); |
![]() | |
---|---|
Assert.IsTrue(PlQuery.PlCall("consult", new PlTerm("some_file_name"))); // or Assert.IsTrue(PlQuery.PlCall("consult('some_file_name')")); |
![](collapse_all.gif)
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. |
Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60605.0 (1.1.60605.0)