A C E G I L M P R S T

A

asserta(PrologBoundTerm) - Static method in class prologj.PrologJ

Assert a term encapsulated in a bound term object at the front of the database

asserta(String) - Static method in class prologj.PrologJ

Assert a term represented by a string at the front of the database

assertz(PrologBoundTerm) - Static method in class prologj.PrologJ

Assert a term encapsulated in a bound term object at the back of the database

assertz(String) - Static method in class prologj.PrologJ

Assert a term represented by a string at the back of the database

C

call(PrologBoundTerm, PrologContinuation) - Static method in class prologj.PrologJ

Attempt to satisfy a goal encapsulated in a bound term object, with access to the bindings of the variables and the possibility of redoing it if it succeeds.

call(String, PrologContinuation) - Static method in class prologj.PrologJ

Attempt to satisfy a goal represented by a string, with access to the bindings of the variables and the possibility of redoing it if it succeeds.

call(PrologBoundTerm) - Static method in class prologj.PrologJ

Attempt to satisfy a goal encapsulated in a bound term object once, and report only success or failure

call(String) - Static method in class prologj.PrologJ

Attempt to satisfy a goal represented by a string once, and report only success or failure

consult(BufferedReader, boolean) - Static method in class prologj.PrologJ

Treat a stream represented by a BufferedReader as a sequence of clauses to be asserted into the database

E

ensure_loaded() - Static method in class prologj.PrologJ

This method is called from compiled code to ensure that this class is loaded (and therefore the system is initialized).

G

getArg(int) - Method in interface prologj.PrologCompound

Accesor for an argument of this compound term

getArity() - Method in interface prologj.PrologCompound

Accessor for the arity of this compound term

getBinding(String) - Method in interface prologj.PrologBoundTerm

Accessor for the binding of a variable specified by name

getBinding(int) - Method in interface prologj.PrologBoundTerm

Accessor for the binding of a variable specified by relative position

getFunctor() - Method in interface prologj.PrologCompound

Accessor for the functor of this compound term

getHead() - Method in interface prologj.PrologList

Accessor for the head of this lists

getMessage() - Method in class prologj.PrologException

Get the message associated with this exception.

getNumberOfVariables() - Method in interface prologj.PrologBoundTerm

Accessor for the number of variables in the encapsulated term

getTail() - Method in interface prologj.PrologList

Accessor for the tail of this lists

getTerm() - Method in interface prologj.PrologBoundTerm

Accessor for the encapsulated term.

I

interpret(BufferedReader, boolean, boolean) - Static method in class prologj.PrologJ

Treat a stream represented by a BufferedReader as a sequence of goals to be called.

L

listing(PrintWriter, String, int, boolean) - Static method in class prologj.PrologJ

List out the clauses for a given Prolog predicate or predicates (with source code available) in a form suitable for reading by consult().

listing(PrintWriter, String, boolean) - Static method in class prologj.PrologJ

List out the clauses of Prolog predicates of any arity for a given atom (with source code available), in a form suitable for reading by consult()

listing(PrintWriter, boolean) - Static method in class prologj.PrologJ

List out the clauses of predicates of any arity for all Prolog predicates (with source code available) currently in the database.

listing(PrintWriter) - Static method in class prologj.PrologJ

List out the clauses of predicates of any arity for all Prolog predicates (with source code available) currently in the database, quietly skipping over private ones.

M

main(String[]) - Static method in class prologj.PrologJ

Main method when run as an application.

makeBoundTerm(String) - Static method in class prologj.PrologJ

Create a bound term object that encapsulates a term, given its textual representation

P

PrologBoundTerm - interface prologj.PrologBoundTerm.

Part of the PrologJ java API.

PrologCompound - interface prologj.PrologCompound.

Part of the PrologJ java API.

PrologContinuation - interface prologj.PrologContinuation.

Part of the PrologJ java API.

PrologException - exception prologj.PrologException.

Part of the PrologJ java API.

PrologException() - Constructor for class prologj.PrologException

PrologJ - class prologj.PrologJ.

Top-level of the PrologJ java API This class supports static methods for performing various operations on prolog entities from within Java programs.

PrologJ() - Constructor for class prologj.PrologJ

PrologList - interface prologj.PrologList.

Part of the PrologJ java API.

printPrologStackTrace(PrintWriter) - Method in class prologj.PrologException

Print a back trace of the prolog runtime stack leading up to this exception to the specified PrintWriter

printPrologStackTrace(PrintStream) - Method in class prologj.PrologException

Print a back trace of the prolog runtime stack leading up to this exception to the specified PrintStream

printPrologStackTrace() - Method in class prologj.PrologException

Print a back trace of the prolog runtime stack leading up to this exception to System.err

prologj - package prologj

R

reconsult(BufferedReader, boolean) - Static method in class prologj.PrologJ

Treat a stream represented by a BufferedReader as a sequence of clauses to be asserted into the database, replacing any definitions for the referenced predicates that are already there

retract(PrologBoundTerm, PrologContinuation) - Static method in class prologj.PrologJ

Attempt to retract a term encapsulated in a bound term object from the database, with access to the variable bindings for the term retracted, and the possibility of redoing to retract another matching term.

retract(String, PrologContinuation) - Static method in class prologj.PrologJ

Attempt to retract a term represented by a string from the database, with access to the variable bindings for the term retracted, and the possibility of redoing to retract another matching term.

retract(PrologBoundTerm) - Static method in class prologj.PrologJ

Attempt to retract one instance of a term encapsulated in a bound term object from the database, and report only success or failure.

retract(String) - Static method in class prologj.PrologJ

Attempt to retract one instance of a term represented by a string from the database, and report only success or failure.

retractall(PrologBoundTerm) - Static method in class prologj.PrologJ

Retract all instances of a term encapsulated in a bound term object from the database

retractall(String) - Static method in class prologj.PrologJ

Retract all instances of a term represented by a string from the database

S

setBuiltinPredicateCategories(String) - Static method in class prologj.PrologJ

Set the category(s) of built-in predicates that are available

setVariable(String, Object) - Method in interface prologj.PrologBoundTerm

Set a variable to a particular value before using the term encapsulated in this in a computation.

setVariable(int, Object) - Method in interface prologj.PrologBoundTerm

Set a variable to a particular value before using the term encapsulated in this in a computation.

set_input(BufferedReader) - Static method in class prologj.PrologJ

Cause a BufferedReader to be used as default input for subsequent operations

set_output(PrintWriter) - Static method in class prologj.PrologJ

Cause a PrintWriter to be used as default output for subsequent operations

succeed(PrologBoundTerm) - Method in interface prologj.PrologContinuation

Continue computation after a redoable call or retract succeeds.

T

toString() - Method in interface prologj.PrologCompound

Create a string representation of this compound term, using the rules of write/1

toString() - Method in interface prologj.PrologList

Create a string representation of this list, using the rules of write/1

A C E G I L M P R S T