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

A

AtomRegisterFailure - exception se.sics.jasper.AtomRegisterFailure.

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

AtomRegisterFailure(String) - Constructor for class se.sics.jasper.AtomRegisterFailure

B

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

This is the path where SICStus finds the Runtime Library.

C

cbTestMethod(int, double) - Static method in class se.sics.jasper.PrologEngine

cbTestMethod(Integer, int, double) - Static method in class se.sics.jasper.PrologEngine

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

Throws an exception if the current thread is not the thread which created this instance of the SICStus object.

close() - Method in class se.sics.jasper.SPQuery

Closes a query.

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

Compare two terms according to standard order.

compile(String) - Method in class se.sics.jasper.PrologEngine

Instruct the Prolog engine to compile a file.

ConnectionFailedException - exception se.sics.jasper.ConnectionFailedException.

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

Assigns the term to a compount term.

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

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

consult(String) - Method in class se.sics.jasper.PrologEngine

Instruct the Prolog engine to consult a file.

ConversionFailedException - exception se.sics.jasper.ConversionFailedException.

ConversionFailedException(String) - Constructor for class se.sics.jasper.ConversionFailedException

cut() - Method in class se.sics.jasper.SPQuery

Discard choices made since this query object was created, like the goal !.

F

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

Deallocates memory used by native code and calls SP_deinitialize to deallocate and unload resources used by the emulator.

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

Un-register this atom so it may be GC:d

finalize() - Method in class se.sics.jasper.PrologEngine

G

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

Get an argument from a compound term.

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

Deprecated. Use getCanonicalAtom instead.

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

Obtain the canonical representation of a Prolog atom.

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

Obtain the value of the Prolog float.

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

Obtain the arity of a functor.

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

Obtain the name of a functor.

getInitializedSICStus() - Static method in class se.sics.jasper.SICStus

Returns a pointer to the SICStus object which has been initialized in this JVM.

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

Obtain the integer value of the Prolog term.

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

Get the head and tail of a Prolog list.

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

Obtain the value of a list of characters as a string.

getNextLine(BufferedReader) - Static method in class se.sics.jasper.PrologEngine

Returns next non-empty line from 'reader' which does not start with '#'.

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

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

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

Obtain the value of the Prolog atom as a string.

H

halt() - Method in class se.sics.jasper.PrologEngine

I

IllegalCallerException - exception se.sics.jasper.IllegalCallerException.

This exception indicates that the calling thread is not allowed to call SICStus.

IllegalCallerException(Thread, Thread) - Constructor for class se.sics.jasper.IllegalCallerException

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

Tests if the term is an atom.

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

Tests if the term is atomic.

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

Tests if the term is a compound term.

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

Tests if the term is a float.

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

Tests if the term is an integer.

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

Similar to checkLegalCaller(), but returns false instead of throwing an exception.

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

Tests if the term is a list.

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

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.

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

Tests if the term is a variable.

J

JavaServer - class se.sics.jasper.JavaServer.

Java server thread.

JavaServer(PrologEngine) - Constructor for class se.sics.jasper.JavaServer

L

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

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

N

nextSolution() - Method in class se.sics.jasper.SPQuery

Gets the next solution for the query.

O

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

Open a query for obtaining multiple solutions.

P

PrologEngine - class se.sics.jasper.PrologEngine.

Objects of this class represent a Prolog engine running in a separate process.

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

Starts a new Prolog process on the local machine

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

Connect to a running Prolog process on 'machine:portNum'.

PrologException - exception se.sics.jasper.PrologException.

Objects of this class are wrappers for exceptions thrown in Prolog and passed on to Java.

PrologTerm - class se.sics.jasper.PrologTerm.

PrologTerm() - Constructor for class se.sics.jasper.PrologTerm

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 a SPCanonicalAtom object.

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.

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 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(Object[]) - Method in class se.sics.jasper.PrologEngine

Ask a Prolog query given an array of Java objects.

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

Find the first solution to a query.

query(String) - Method in class se.sics.jasper.PrologEngine

Ask a query to the Prolog engine

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

Find the first solution to a query, then do a cut to remove all choicepoints and then fail, i.e.

R

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

Interface to SP_restore().

restore(String) - Method in class se.sics.jasper.PrologEngine

Instruct the Prolog engine to restore a saved state.

run() - Method in class se.sics.jasper.JavaServer

S

se.sics.jasper - package se.sics.jasper

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 a 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

Create a canonical atom from a string.

SPException - exception se.sics.jasper.SPException.

Represents a exception thrown by Jasper.

SPException() - Constructor for class se.sics.jasper.SPException

Creates an undescribed exception.

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

Creates an exception containing a Prolog term.

SPException(String) - Constructor for class se.sics.jasper.SPException

Creates an exception with the given specification.

SPPredicate - class se.sics.jasper.SPPredicate.

The SPPredicate class represents a predicate reference.

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

Creates a predicate reference given the predicate name and modules as canonical atoms, which is faster than using strings.

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

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

Creates a null-term, but doesn't require a pointer to the SICStus object.

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

Creates a term given only the native term ref.

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

Creates a null-term.

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, 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

Creates a term initialized to a Prolog compound term.

T

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

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

Returns a string-respresentation of a term.

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

Return this canonical atom as a string

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

Returns a description of the exception.

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

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.

U

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

Unify the term with another term.

W

writeLine(BufferedWriter, String) - Static method in class se.sics.jasper.PrologEngine

Writes a string to a BufferedWriter, adds a newline and flushes the stream

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