A C D F G I J L M N O P Q R S T U

A

AtomRegisterFailure - Exception in se.sics.jasper
Thrown if SPCanonicalAtom could not register or un-register a canonical atom representation.

C

CheckValid() - Method in class se.sics.jasper.SPTerm
Throws an exception if the term is not valid.
CheckValid(SICStus) - Method in class se.sics.jasper.SPTerm
 
close() - Method in interface se.sics.jasper.Query
Closes a query.
close() - Method in class se.sics.jasper.SPQuery
Closes a query.
compare(Term) - Method in class se.sics.jasper.SPTerm
Compares two terms according to standard order.
compare(Term) - Method in interface se.sics.jasper.Term
Compares two terms according to standard order.
ConnectionFailedException - Exception in se.sics.jasper
Deprecated. Only intended as an example
consFunctor(String, Term[]) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a compound term.
consFunctor(String, Term[]) - Method in class se.sics.jasper.SICStus
 
consFunctor(String, SPTerm[]) - Method in class se.sics.jasper.SPTerm
Assigns the term to a compount term.
consFunctor(String, int, SPTerm[]) - Method in class se.sics.jasper.SPTerm
Deprecated. Use consFunctor without arity argument instead.
consList(Term, Term) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a list with given head and tail.
consList(Term, Term) - Method in class se.sics.jasper.SICStus
 
consList(SPTerm, SPTerm) - Method in class se.sics.jasper.SPTerm
Assigns the term to a list with given head and tail.
ConversionFailedException - Exception in se.sics.jasper
Thrown if a Java value canot be converted to a Prolog term.
ConversionFailedException(SICStus, String) - Constructor for exception se.sics.jasper.ConversionFailedException
 
cut() - Method in interface se.sics.jasper.Query
Discards choices made since this query object was created, like the goal !
cut() - Method in class se.sics.jasper.SPQuery
Discards choices made since this query object was created, like the goal !

D

debugLevel() - Method in class se.sics.jasper.SICStus
Currently Unsupported; see the Release Notes.
delete() - Method in class se.sics.jasper.SPTerm
Invalidates the SPTerm object and makes the SP_term_ref available for re-use.
delete() - Method in interface se.sics.jasper.Term
Invalidates the Term object and make the SP_term_ref available for re-use.

F

finalize() - Method in exception se.sics.jasper.SPException
 

G

getArg(Integer, Term) - Method in class se.sics.jasper.SPTerm
 
getArg(int, Term) - Method in class se.sics.jasper.SPTerm
Gets an argument from a compound term.
getArg(int, Term) - Method in interface se.sics.jasper.Term
Gets an argument from a compound term.
getCaller() - Static method in class se.sics.jasper.Jasper
Returns the Prolog interface corresponding to the SICStus runtime that called us.
getCaller() - Static method in class se.sics.jasper.SICStus
Returns the SICStus object corresponding to the SICStus runtime that called us.
getCanonicalAtom() - Method in class se.sics.jasper.SPTerm
Obtains the canonical representation of a Prolog atom.
getDouble() - Method in class se.sics.jasper.SPTerm
Obtains the value of the Prolog float.
getDouble() - Method in interface se.sics.jasper.Term
Obtains the value of the Prolog float.
getFunctorArity() - Method in class se.sics.jasper.SPTerm
Obtains the arity of a functor.
getFunctorArity() - Method in interface se.sics.jasper.Term
Obtains the arity of a functor.
getFunctorName() - Method in class se.sics.jasper.SPTerm
Obtains the name of a functor.
getFunctorName() - Method in interface se.sics.jasper.Term
Obtains the name of a functor.
getInitializedSICStus() - Static method in class se.sics.jasper.SICStus
Deprecated, do not use.
getInteger() - Method in class se.sics.jasper.SPTerm
Obtains the integer value of the Prolog term.
getInteger() - Method in interface se.sics.jasper.Term
Obtains the integer value of the Prolog term.
getList(Term, Term) - Method in class se.sics.jasper.SPTerm
Gets the head and tail of a Prolog list.
getList(Term, Term) - Method in interface se.sics.jasper.Term
Gets the head and tail of a Prolog list.
getListChars() - Method in class se.sics.jasper.SPTerm
Obtains the value of a list of characters as a string.
getListChars() - Method in interface se.sics.jasper.Term
Obtains the value of a list of characters as a string.
getNumberChars() - Method in class se.sics.jasper.SPTerm
Obtains the value of a Prolog number as a string.
getNumberChars() - Method in interface se.sics.jasper.Term
Obtains the value of a Prolog number as a string.
getObject() - Method in class se.sics.jasper.SPTerm
Returns the object encapsulated in the Prolog term.
getObject() - Method in interface se.sics.jasper.Term
Returns the object encapsulated in the Prolog term.
getServer() - Method in interface se.sics.jasper.Prolog
For internal use by Jasper.
getServer() - Method in class se.sics.jasper.SICStus
 
getString() - Method in class se.sics.jasper.SPTerm
Obtains the value of the Prolog atom as a string.
getString() - Method in interface se.sics.jasper.Term
Obtains the value of the Prolog atom as a string.
getTerm() - Method in interface se.sics.jasper.PrologException
 
getTerm() - Method in exception se.sics.jasper.SPException
Returns the exception term.

I

IllegalCallerException - Exception in se.sics.jasper
Thrown if SICStus runtime is called from a thread which is not the creator of the SICStus runtime.
IllegalTermException - Exception in se.sics.jasper
Thrown if trying to use a (no longer) valid SPTerm.
init() - Method in class se.sics.jasper.SICStus
Does nothing.
isAtom() - Method in class se.sics.jasper.SPTerm
Tests if the term is an atom.
isAtom() - Method in interface se.sics.jasper.Term
Tests if the term is an atom.
isAtomic() - Method in class se.sics.jasper.SPTerm
Tests if the term is atomic.
isAtomic() - Method in interface se.sics.jasper.Term
Tests if the term is atomic.
isCompound() - Method in class se.sics.jasper.SPTerm
Tests if the term is a compound term.
isCompound() - Method in interface se.sics.jasper.Term
Tests if the term is a compound term.
isEmptyList() - Method in class se.sics.jasper.SPTerm
Tests if the term is the empty list.
isEmptyList() - Method in interface se.sics.jasper.Term
Tests if the term is the empty list.
isFloat() - Method in class se.sics.jasper.SPTerm
Tests if the term is a float.
isFloat() - Method in interface se.sics.jasper.Term
Tests if the term is a float.
isInteger() - Method in class se.sics.jasper.SPTerm
Tests if the term is an integer.
isInteger() - Method in interface se.sics.jasper.Term
Tests if the term is an integer.
isList() - Method in class se.sics.jasper.SPTerm
Tests if the term is a list cell.
isList() - Method in interface se.sics.jasper.Term
Tests if the term is a list cell.
isNumber() - Method in class se.sics.jasper.SPTerm
Tests if the term is a number.
isNumber() - Method in interface se.sics.jasper.Term
Tests if the term is a number.
isSameAtom(SPCanonicalAtom) - Method in class se.sics.jasper.SPCanonicalAtom
Returns true iff the atoms have the same canonical representation.
isValid() - Method in class se.sics.jasper.SPTerm
Tests if the Prolog term referenced is still accessible through this object.
isValid(SICStus) - Method in class se.sics.jasper.SPTerm
As isValid().
isValid() - Method in interface se.sics.jasper.Term
Tests if the Prolog term referenced is still accessible through this object.
isVariable() - Method in class se.sics.jasper.SPTerm
Tests if the term is a variable.
isVariable() - Method in interface se.sics.jasper.Term
Tests if the term is a variable.

J

Jasper - Class in se.sics.jasper
This class provides the multi threaded functionality of the Java-Prolog interface.

L

listFromString(String) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a list of character codes from a Java String.
listFromString(String) - Method in class se.sics.jasper.SICStus
 
load(String) - Method in class se.sics.jasper.SICStus
Interface to SP_load(), which in turn calls the Prolog predicate load_files/[1,2] (See the User's Manual).

M

main(String[]) - Static method in class se.sics.jasper.Jasper
This is a small test function.
main(String[]) - Static method in class se.sics.jasper.SICStus
This main-function is just a small test function.

N

newObjectTerm(Object) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a *global* reference to a Java object.
newObjectTerm(Object) - Method in class se.sics.jasper.SICStus
 
newProlog() - Static method in class se.sics.jasper.Jasper
Creates a Prolog interface object.
newProlog(String) - Static method in class se.sics.jasper.Jasper
Creates a Prolog interface object.
newProlog(String[], String, String) - Static method in class se.sics.jasper.Jasper
Creates a Prolog interface object.
newProlog() - Method in class se.sics.jasper.SICStus
Returns the Prolog interface for this SICStus object.
newTerm() - Method in interface se.sics.jasper.Prolog
Creates a null-term (i.e. the empty list, '[]').
newTerm(Term) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to an existing term.
newTerm(int) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog integer from a Java int.
newTerm(long) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog integer from a Java long.
newTerm(double) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog float.
newTerm(float) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog float.
newTerm(String) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog atom.
newTerm(String, Term[]) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog compound term.
newTerm() - Method in class se.sics.jasper.SICStus
 
newTerm(Term) - Method in class se.sics.jasper.SICStus
 
newTerm(Integer) - Method in class se.sics.jasper.SICStus
 
newTerm(int) - Method in class se.sics.jasper.SICStus
 
newTerm(Long) - Method in class se.sics.jasper.SICStus
 
newTerm(long) - Method in class se.sics.jasper.SICStus
 
newTerm(Double) - Method in class se.sics.jasper.SICStus
 
newTerm(double) - Method in class se.sics.jasper.SICStus
 
newTerm(Float) - Method in class se.sics.jasper.SICStus
 
newTerm(float) - Method in class se.sics.jasper.SICStus
 
newTerm(String) - Method in class se.sics.jasper.SICStus
 
newTerm(String, Term[]) - Method in class se.sics.jasper.SICStus
 
newVariable() - Method in interface se.sics.jasper.Prolog
Creates a term initialized to an unbound variable.
newVariable() - Method in class se.sics.jasper.SICStus
 
nextSolution() - Method in interface se.sics.jasper.Query
Gets the next solution for the query.
nextSolution() - Method in class se.sics.jasper.SPQuery
Gets the next solution for the query.
numberFromString(String) - Method in interface se.sics.jasper.Prolog
Creates a term initialized to a Prolog number from a string.
numberFromString(String) - Method in class se.sics.jasper.SICStus
 

O

openPrologQuery(String, Map) - Method in interface se.sics.jasper.Prolog
Opens a query, specified as a string, for obtaining multiple solutions.
openPrologQuery(String, Map) - Method in class se.sics.jasper.SICStus
 
openQuery(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus
Opens a query for obtaining multiple solutions.
openQuery(String, Map) - Method in class se.sics.jasper.SICStus
Opens a query, specified as a string, for obtaining multiple solutions.
openQuery(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus
Deprecated Use module and predicate name directly instead.

P

Prolog - Interface in se.sics.jasper
The class SICStus and an inner class in Jasper inherit from this interface.
PrologException - Interface in se.sics.jasper
Represents an exception thrown by a Prolog object.
prologReadFromString(String, Map) - Method in interface se.sics.jasper.Prolog
Creates a term by reading from a string.
prologReadFromString(String, Map) - Method in class se.sics.jasper.SICStus
 
PrologTerm - Class in se.sics.jasper
Deprecated. Only intended as an example
PrologTerm() - Constructor for class se.sics.jasper.PrologTerm
Deprecated.  
putAtom(long) - Method in class se.sics.jasper.SPTerm
Deprecated. Use putCanonicalAtom instead.
putCanonicalAtom(SPCanonicalAtom) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog atom, given the canonical representation of the atom as an SPCanonicalAtom object.
putEmptyList() - Method in class se.sics.jasper.SPTerm
Assigns the term to an empty list [].
putFloat(double) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog float from a Java double.
putFloat(float) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog float from a Java float.
putFunctor(String, int) - Method in class se.sics.jasper.SPTerm
Assigns the term to a compound term with all arguments initialized to unbound variables.
putInteger(int) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog integer from a Java int.
putInteger(long) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog integer from a Java long.
putList() - Method in class se.sics.jasper.SPTerm
Assigns the term to a list whose head and tail are both unbound variables.
putListChars(String) - Method in class se.sics.jasper.SPTerm
Assigns the term to a list of character codes from a Java String.
putNumberChars(String) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog number from a string.
putObject(Object) - Method in class se.sics.jasper.SPTerm
Assigns the term to a *global* reference to a Java object.
putString(String) - Method in class se.sics.jasper.SPTerm
Assigns the term to a Prolog atom from a Java String.
putTerm(SPTerm) - Method in class se.sics.jasper.SPTerm
Assigns the term to another Prolog term.
putVariable() - Method in class se.sics.jasper.SPTerm
Assigns the term to an unbound variable.

Q

query(String, Map) - Method in interface se.sics.jasper.Prolog
Finds the first solution to a query specified as a string.
Query - Interface in se.sics.jasper
Objects implementing this interface are used for holding a query-reference which is used to find multiple solutions to a query.
query(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus
Finds the first solution to a query.
query(String, Map) - Method in class se.sics.jasper.SICStus
Finds the first solution to a query specified as a string.
query(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus
Deprecated Use module and predicate name directly instead.
queryCutFail(String, Map) - Method in interface se.sics.jasper.Prolog
Finds the first solution to a query specified as a string, then cuts away any choicepoints and fails, i.e. ignores everything but the side-effects during the first solution.
queryCutFail(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus
Finds the first solution to a query, then cuts away any choicepoints and fails, i.e. ignores everything but the side-effects during the first solution.
queryCutFail(String, Map) - Method in class se.sics.jasper.SICStus
Finds the first solution to a query specified as a string, then cuts away any choicepoints and fails, i.e. ignores everything but the side-effects during the first solution.
queryCutFail(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus
Deprecated Use module and predicate name directly instead.

R

readFromString(String, Map) - Method in class se.sics.jasper.SICStus
Creates a term by reading from a string.
readFromString(String) - Method in class se.sics.jasper.SICStus
Equivalent to readFromString(string, null);
restore(String) - Method in class se.sics.jasper.SICStus
Interface to SP_restore().
reuseTermRefs() - Method in class se.sics.jasper.SICStus
Unsupported.

S

se.sics.jasper - package se.sics.jasper
 
setDebugLevel(int) - Method in class se.sics.jasper.SICStus
Currently Unsupported.
setPrintDepth(int) - Method in class se.sics.jasper.SICStus
Currently Unsupported.
setReuseTermRefs(boolean) - Method in class se.sics.jasper.SICStus
Unsupported; see the release notes for details.
setServer(Server) - Method in class se.sics.jasper.SICStus
For internal use by Jasper.
setShouldCheckAge(boolean) - Method in class se.sics.jasper.SICStus
Currently Unsupported; see the release notes for details.
shouldCheckAge() - Method in class se.sics.jasper.SICStus
Currently Unsupported; see the release notes for details.
SICStus - Class in se.sics.jasper
This class encapsulates the SICStus emulator and provides the basic functionality for interacting with Prolog.
SICStus() - Constructor for class se.sics.jasper.SICStus
Creates a SICStus object.
SICStus(String) - Constructor for class se.sics.jasper.SICStus
Creates a SICStus object.
SICStus(String[], String) - Constructor for class se.sics.jasper.SICStus
Creates a SICStus object.
SP_TYPE_ATOM - Static variable in class se.sics.jasper.SPTerm
The term is an atom.
SP_TYPE_COMPOUND - Static variable in class se.sics.jasper.SPTerm
The term is a compound term.
SP_TYPE_FLOAT - Static variable in class se.sics.jasper.SPTerm
The term is a float.
SP_TYPE_INTEGER - Static variable in class se.sics.jasper.SPTerm
The term is an integer.
SP_TYPE_VARIABLE - Static variable in class se.sics.jasper.SPTerm
The term is a variable.
SPCanonicalAtom - Class in se.sics.jasper
The SPCanonicalAtom class encapsulates the canonical representation of a Prolog atom, which is usually a 32 or 64-bit integer.
SPCanonicalAtom(SICStus, String) - Constructor for class se.sics.jasper.SPCanonicalAtom
Creates a canonical atom from a string.
SPException - Exception in se.sics.jasper
Represents a exception thrown by Jasper.
SPPredicate - Class in se.sics.jasper
Deprecated Instead use module and predicate name as strings directly or specify the goal as a string.
SPPredicate(SICStus, String, int, String) - Constructor for class se.sics.jasper.SPPredicate
Deprecated Creates a predicate reference.
SPPredicate(SICStus, SPCanonicalAtom, int, SPCanonicalAtom) - Constructor for class se.sics.jasper.SPPredicate
Deprecated Creates a predicate reference.
SPQuery - Class in se.sics.jasper
This class is used for holding a query-reference which is used to find multiple solutions to a query.
SPTerm - Class in se.sics.jasper
SPTerms are Java representations of Prolog terms.
SPTerm(SICStus) - Constructor for class se.sics.jasper.SPTerm
Creates a null-term (i.e. the empty list, '[]').
SPTerm(SICStus, SPTerm) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to an existing term.
SPTerm(SICStus, int) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to a Prolog integer.
SPTerm(SICStus, double) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to a Prolog float.
SPTerm(SICStus, float) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to a Prolog float.
SPTerm(SICStus, String) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to a Prolog atom.
SPTerm(SICStus, String, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm
Creates a term initialized to a Prolog compound term.
SPTerm(SICStus, String, int, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm
Deprecated. Do not pass the arity argument.
startServer() - Method in class se.sics.jasper.SICStus
Starts serving requests from a Prolog client.
stopServer() - Method in class se.sics.jasper.SICStus
Stops the server.

T

Term - Interface in se.sics.jasper
Terms are Java representations of Prolog terms.
toPrologTermArray() - Method in class se.sics.jasper.SPTerm
 
toPrologTermArray() - Method in interface se.sics.jasper.Term
Converts a list to an array of Terms.
toString() - Method in interface se.sics.jasper.PrologException
 
toString() - Method in class se.sics.jasper.SPCanonicalAtom
Returns this canonical atom as a string
toString() - Method in exception se.sics.jasper.SPException
Returns a description of the exception.
toString() - Method in class se.sics.jasper.SPTerm
Returns a string-respresentation of a term.
toString(Term) - Method in class se.sics.jasper.SPTerm
 
toString() - Method in interface se.sics.jasper.Term
Returns a string-respresentation of a term.
toString(Term) - Method in interface se.sics.jasper.Term
Returns a string-representation of a term.
toStringString - Variable in exception se.sics.jasper.SPException
 
toTermArray() - Method in class se.sics.jasper.SPTerm
Converts a list to an array of SPTerm.
type() - Method in class se.sics.jasper.SPTerm
Returns the type of this term.
type() - Method in interface se.sics.jasper.Term
Returns the type of this term.
TYPE_ATOM - Static variable in interface se.sics.jasper.Term
The term is an atom.
TYPE_COMPOUND - Static variable in interface se.sics.jasper.Term
The term is a compound term.
TYPE_FLOAT - Static variable in interface se.sics.jasper.Term
The term is a float.
TYPE_INTEGER - Static variable in interface se.sics.jasper.Term
The term is an integer.
TYPE_VARIABLE - Static variable in interface se.sics.jasper.Term
The term is a variable.

U

unify(Term) - Method in class se.sics.jasper.SPTerm
Unifies the term with another term.
unify(Term) - Method in interface se.sics.jasper.Term
Unifies the term with another term.

A C D F G I J L M N O P Q R S T U