|
Class Summary |
| JavaServer |
Java server thread. |
| PrologEngine |
Objects of this class represent a Prolog engine running in a
separate process. |
| PrologTerm |
|
| SICStus |
This class encapsulates the SICStus emulator and provides the basic
functionality for interacting with Prolog. |
| SPCanonicalAtom |
The SPCanonicalAtom class encapsulates the canonical representation of
a Prolog atom, which is usually a 32 or 64-bit integer. |
| SPPredicate |
The SPPredicate class represents a predicate reference. |
| SPQuery |
This class is used for holding a query-reference which is used to
find multiple solutions to a query. |
| SPTerm |
SPTerms are Java representations of Prolog terms. |