| Interface | Description |
|---|---|
| Prolog | |
| PrologException |
Represents an exception thrown by a Prolog object.
|
| Query |
Objects implementing this interface are used for holding a query-reference
which is used to find multiple solutions to a query.
|
| Term |
Terms are Java representations of Prolog terms.
|
| Class | Description |
|---|---|
| Jasper |
This class provides the multi threaded functionality of the Java-Prolog
interface.
|
| PrologTerm | Deprecated
Only intended as an example
|
| 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 |
Deprecated
Instead use module and predicate name as strings directly
or specify the goal as a string.
|
| 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.
|
| Exception | Description |
|---|---|
| AtomRegisterFailure |
Thrown if SPCanonicalAtom could not register or un-register a
canonical atom representation.
|
| ConnectionFailedException | Deprecated
Only intended as an example
|
| ConversionFailedException |
Thrown if a Java value canot be converted to a Prolog term.
|
| IllegalCallerException |
Thrown if SICStus runtime is called from a thread which is not the
creator of the SICStus runtime.
|
| IllegalTermException |
Thrown if trying to use a (no longer) valid SPTerm.
|
| SPException |
Represents a exception thrown by Jasper.
|