Examples
Copy | |
---|---|
Assert.IsTrue(PlQuery.PlCall("is_list", new PlTerm("[a,b,c,d]"))); |
Copy | |
---|---|
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. |
Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60601.0 (1.1.60601.0)