A C D 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 unregister 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.

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 compound 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 cannot be converted to a Prolog term.

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

getArity() - Method in class se.sics.jasper.SPPredicate

Deprecated.

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.

getModule() - Method in class se.sics.jasper.SPPredicate

Deprecated.

getName() - Method in class se.sics.jasper.SPPredicate

Deprecated.

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<String, ? extends Term>) - Method in interface se.sics.jasper.Prolog

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

openPrologQuery(String, Map<String, ? extends Term>) - 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<String, ? extends Term>) - 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 (SICStus.openQuery(String, String, SPTerm[])).

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<String, ? extends Term>) - Method in interface se.sics.jasper.Prolog

Creates a term by reading from a string.

prologReadFromString(String, Map<String, ? extends Term>) - Method in class se.sics.jasper.SICStus

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<String, ? extends Term>) - 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<String, ? extends Term>) - 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 (SICStus.query(String, String, SPTerm[])).

queryCutFail(String, Map<String, ? extends Term>) - Method in interface se.sics.jasper.Prolog

Finds the first solution to a query specified as a string, then cuts away any choice points 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<String, ? extends Term>) - Method in class se.sics.jasper.SICStus

Finds the first solution to a query specified as a string, then cuts away any choice points 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 (SICStus.queryCutFail(String, String, SPTerm[])).

R

readFromString(String, Map<String, ? extends Term>) - 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

Deprecated.

Use SICStus.SICStus() instead.

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

Creates a SICStus object.

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

Deprecated.

Use, the equivalent, SICStus.SICStus(String[]) instead.

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.

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.

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

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-representation of a term.

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

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

Returns a string-representation of a term.

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

Returns a string-representation of a term.

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