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

A

AtomRegisterFailure - exception se.sics.jasper.AtomRegisterFailure.

Thrown if SPCanonicalAtom could not register or un-register a canonical atom representation.

B

bootPath - Variable in class se.sics.jasper.SICStus

This is the path where SICStus finds the Runtime Library.

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.

consFunctor(String, int, SPTerm[]) - Method in class se.sics.jasper.SPTerm

Deprecated. Use consFunctor without arity argument instead.

consFunctor(String, SPTerm[]) - Method in class se.sics.jasper.SPTerm

Assigns the term to a compount term.

consFunctor(String, Term[]) - Method in class se.sics.jasper.SICStus

consFunctor(String, Term[]) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a compound term.

consList(SPTerm, SPTerm) - Method in class se.sics.jasper.SPTerm

Assigns the term to a list with given head and tail.

consList(Term, Term) - Method in class se.sics.jasper.SICStus

consList(Term, Term) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a list with given head and tail.

ConversionFailedException - exception se.sics.jasper.ConversionFailedException.

Thrown if a Java value canot be converted to a Prolog term.

ConversionFailedException(SICStus, String) - Constructor for class 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.

G

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.SICStus

Returns the SICStus object corresponding to the SICStus runtime that called us.

getCaller() - Static method in class se.sics.jasper.Jasper

Returns the Prolog interface 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

Not yet implemented in Multi threaded Jasper.

getServer() - Method in class se.sics.jasper.SICStus

getServer() - Method in interface se.sics.jasper.Prolog

For internal use by Jasper.

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.

I

IllegalCallerException - exception se.sics.jasper.IllegalCallerException.

Thrown if SICStus runtime is called from a thread which is not the creator of the SICStus runtime.

IllegalTermException - exception se.sics.jasper.IllegalTermException.

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() - Method in interface se.sics.jasper.Term

Tests if the Prolog term referenced is still accessible through this object.

isValid(SICStus) - Method in class se.sics.jasper.SPTerm

As isValid().

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 se.sics.jasper.Jasper.

This class provides the multi threaded functionality of the Java-Prolog interface.

L

listFromString(String) - Method in class se.sics.jasper.SICStus

listFromString(String) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a list of character codes from a Java String.

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.SICStus

This main-function is just a small test function.

main(String[]) - Static method in class se.sics.jasper.Jasper

This is a small test function.

N

newObjectTerm(Object) - Method in class se.sics.jasper.SICStus

newObjectTerm(Object) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a *global* reference to a Java object.

newProlog() - Method in class se.sics.jasper.SICStus

Returns the Prolog interface for this SICStus object.

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.

newTerm() - Method in class se.sics.jasper.SICStus

newTerm() - Method in interface se.sics.jasper.Prolog

Creates a null-term (i.e.

newTerm(double) - Method in class se.sics.jasper.SICStus

newTerm(double) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog float.

newTerm(float) - Method in class se.sics.jasper.SICStus

newTerm(float) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog float.

newTerm(int) - Method in class se.sics.jasper.SICStus

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 class se.sics.jasper.SICStus

newTerm(long) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog integer from a Java long.

newTerm(String) - Method in class se.sics.jasper.SICStus

newTerm(String) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog atom.

newTerm(String, Term[]) - Method in class se.sics.jasper.SICStus

newTerm(String, Term[]) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog compound term.

newTerm(Term) - Method in class se.sics.jasper.SICStus

newTerm(Term) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to an existing term.

newVariable() - Method in class se.sics.jasper.SICStus

newVariable() - Method in interface se.sics.jasper.Prolog

Creates a term initialized to an unbound variable.

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 class se.sics.jasper.SICStus

numberFromString(String) - Method in interface se.sics.jasper.Prolog

Creates a term initialized to a Prolog number from a string.

O

openPrologQuery(String, Map) - Method in class se.sics.jasper.SICStus

openPrologQuery(String, Map) - Method in interface se.sics.jasper.Prolog

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.

openQuery(String, Map) - Method in class se.sics.jasper.SICStus

Opens a query, specified as a string, for obtaining multiple solutions.

openQuery(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus

Opens a query for obtaining multiple solutions.

P

Prolog - interface se.sics.jasper.Prolog.

The class SICStus and an inner class in Jasper inherit from this interface.

PrologException - interface se.sics.jasper.PrologException.

Represents an exception thrown by a Prolog object.

prologReadFromString(String, Map) - Method in class se.sics.jasper.SICStus

prologReadFromString(String, Map) - Method in interface se.sics.jasper.Prolog

Creates a term by reading from a string.

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 - interface se.sics.jasper.Query.

Objects implementing this interface are used for holding a query-reference which is used to find multiple solutions to a query.

query(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus

Deprecated Use module and predicate name directly instead.

query(String, Map) - Method in class se.sics.jasper.SICStus

Finds the first solution to a query specified as a string.

query(String, Map) - Method in interface se.sics.jasper.Prolog

Finds the first solution to a query specified as a string.

query(String, String, SPTerm[]) - Method in class se.sics.jasper.SICStus

Finds the first solution to a query.

queryCutFail(SPPredicate, SPTerm[]) - Method in class se.sics.jasper.SICStus

Deprecated Use module and predicate name directly instead.

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.

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.

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.

R

readFromString(String) - Method in class se.sics.jasper.SICStus

Equivalent to readFromString(string, null);

readFromString(String, Map) - Method in class se.sics.jasper.SICStus

Creates a term by reading from a string.

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.

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 se.sics.jasper.SICStus.

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 se.sics.jasper.SPCanonicalAtom.

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 se.sics.jasper.SPException.

Represents a exception thrown by Jasper.

SPPredicate - class se.sics.jasper.SPPredicate.

Deprecated Instead use module and predicate name as strings directly or specify the goal as a string.

SPPredicate(SICStus, SPCanonicalAtom, int, SPCanonicalAtom) - Constructor for class se.sics.jasper.SPPredicate

Deprecated Creates a predicate reference.

SPPredicate(SICStus, String, int, String) - Constructor for class se.sics.jasper.SPPredicate

Deprecated Creates a predicate reference.

SPQuery - class se.sics.jasper.SPQuery.

This class is used for holding a query-reference which is used to find multiple solutions to a query.

SPTerm - class se.sics.jasper.SPTerm.

SPTerms are Java representations of Prolog terms.

SPTerm(SICStus) - Constructor for class se.sics.jasper.SPTerm

Creates a null-term (i.e.

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, int) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog integer.

SPTerm(SICStus, SPTerm) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to an existing term.

SPTerm(SICStus, String) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog atom.

SPTerm(SICStus, String, int, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm

Deprecated. Do not pass the arity argument.

SPTerm(SICStus, String, SPTerm[]) - Constructor for class se.sics.jasper.SPTerm

Creates a term initialized to a Prolog compound term.

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 - Variable in class se.sics.jasper.SPException

Term - interface se.sics.jasper.Term.

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 class 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() - Method in interface se.sics.jasper.PrologException

toString() - Method in interface se.sics.jasper.Term

Returns a string-respresentation of a term.

toString() - Method in class se.sics.jasper.SPCanonicalAtom

Returns this canonical atom as a string

toString(Term) - Method in class se.sics.jasper.SPTerm

toString(Term) - Method in interface se.sics.jasper.Term

Returns a string-respresentation of a term.

toStringString - Variable in class se.sics.jasper.SPException

toTermArray() - Method in class se.sics.jasper.SPTerm

Converts a list to an array of SPTerm.

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.

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.

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 B C D G I J L M N O P Q R S T U