Package se.sics.jasper

Jasper is a bi-directional interface between Java and SICStus.

See:
Description

Interface Summary

Prolog	The class SICStus and an inner class in Jasper inherit from this interface.
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 Summary

Jasper	This class provides the multi threaded functionality of the Java-Prolog interface.
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 Summary

AtomRegisterFailure	Thrown if SPCanonicalAtom could not register or un-register a canonical atom representation.
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.

Package se.sics.jasper Description

Jasper is a bi-directional interface between Java and SICStus. The Java-side of the interface consists of the package `se.sics.jasper' containing classes representing the SICStus run-time system (`SICStus', `SPTerm', etc). The Prolog part is designed as a library module (`library(jasper)').

Related Documentation

For documentation on library(jasper), please see:

• The Jasper Java Interface