C# (CSharp) SbsSW.SwiPlCs Namespace

Classes

Name Description
NativeMethods
NativeMethodsLinux
NativeMethodsWindows
PlQuery

This class allows queries to prolog.

A query can be created by a string or by constructing compound terms see Constructors for details.

All resources an terms created by a query are reclaimed by Dispose(). It is recommended to build a query in a scope.

There are four possible opportunities to query Prolog

Query typeDescription A static callTo ask prolog for a proof. Return only true or false. A PlCallQuery(string)To get the first result of a goal Construct a PlQuery object by a string.The most convenient way. Construct a PlQuery object by compound terms.The most flexible and fast (runtime) way.

For examples see PlQuery(string) and PlQuery(string, PlTermV)
PlQueryVar Represents one variable of a Query result.
PlQueryVariables

Represents the set variables of a Query if it was created from a string.

This class is also used to represent the results of a PlQuery after PlQuery.ToList() or PlQuery.SolutionVariables was called.
SafeLibraryHandle
SafeNativeMethods
SafeNativeMethods.MIOSTREAM
foreign_context
libpl
swipl_win