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

A

actualGoal - Variable in class CiaoJava.PLGoal
 
ADD_LISTENER - Static variable in class CiaoJava.PLInterpreter
 
add(PLTerm) - Method in class CiaoJava.PLList
Adds a term at the tail of a PLList object.
addEvent(Class, PLTerm) - Method in class CiaoJava.PLEvents
Inserts a new event listener.
addGoal(PLTerm) - Method in class CiaoJava.PLGoals
Adds a goal to this goal set.
addListener(Object, Class, PLTerm) - Method in class CiaoJava.PLEventListener
Inserts a new listener.
addListener(PLStructure) - Method in class CiaoJava.PLInterpreter
Adds the Java object event to the listener predicate.
allowThreads - Variable in class CiaoJava.PLConnection
 
allowThreads() - Method in class CiaoJava.PLConnection
Asks the Prolog server if it can work with threads.
Args - Variable in class CiaoJava.PLStructure
 
Arity - Variable in class CiaoJava.PLStructure
 
ATOM - Static variable in class CiaoJava.PLTerm
 
AtomTable - Static variable in class CiaoJava.PLTerm
 

B

backtrack(PLTerm) - Method in class CiaoJava.PLTerm
Undo the unification made on this PLTerm object using as pattern the term received as argument.
backtrack(PLTerm) - Method in class CiaoJava.PLStructure
 
backtrack(PLTerm) - Method in class CiaoJava.PLList
 
backtrack(PLTerm) - Method in class CiaoJava.PLVariable
Undo the unification made on this variable using as pattern the term received as argument.
bind(PLTerm) - Method in class CiaoJava.PLVariable
Variable binding.
Binding - Variable in class CiaoJava.PLVariable
 

C

CiaoJava - package CiaoJava
This package includes all of the classes needed to use both java-to-prolog and prolog-to-java interfaces.
copy() - Method in class CiaoJava.PLTerm
Duplication of Prolog terms.
copy() - Method in class CiaoJava.PLStructure
Makes a full copy of this PLStructure Prolog structure object.
copy() - Method in class CiaoJava.PLList
Makes a full copy of this PLList Prolog list object.
copy() - Method in class CiaoJava.PLInteger
Makes a full copy of this PLInteger object.
copy() - Method in class CiaoJava.PLAtom
Makes a full copy of this PLAtom object.
copy() - Method in class CiaoJava.PLString
Makes a full copy of this PLString object.
copy() - Method in class CiaoJava.PLFloat
Makes a full copy of this PLFloat object.
copy() - Method in class CiaoJava.PLVariable
Makes a full copy of this PLVariable Prolog variable object.
CREATE_OBJECT - Static variable in class CiaoJava.PLInterpreter
 
createObject(PLStructure) - Method in class CiaoJava.PLInterpreter
Creates a Java object and adds it to the object table.
createSockets(PrintStream) - Method in class CiaoJava.PLConnection
This private method creates and synchronizes the sockets for communication with the Prolog process.
currentVersion - Static variable in class CiaoJava.PLTerm
 

D

DATA_SYNC - Static variable in class CiaoJava.PLConnection
 
DELETE_OBJECT - Static variable in class CiaoJava.PLInterpreter
 
deleteObject(PLStructure) - Method in class CiaoJava.PLInterpreter
Deletes a Java object and removes it from the object table.

E

equals(PLTerm) - Method in class CiaoJava.PLTerm
Comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLStructure
comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLList
Compares the PLList object with the PLTerm given as argument.
equals(PLTerm) - Method in class CiaoJava.PLInteger
comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLAtom
comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLString
Compares this PLString object with the PLTerm given as argument.
equals(PLTerm) - Method in class CiaoJava.PLFloat
Comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLVariable
Strict comparison between Prolog terms.
EVENT_SYNC - Static variable in class CiaoJava.PLConnection
 
eventDispatched(AWTEvent) - Method in class CiaoJava.PLEventListener
Method called on each event queued on the system queue.
eventDispatched(Class, PLInterpreter, PLConnection) - Method in class CiaoJava.PLEvents
Launches goals associated to the given event, using the Java object table of the interpreter given as 2nd argument.
eventListener - Variable in class CiaoJava.PLInterpreter
 
events - Variable in class CiaoJava.PLEvents
 
evIn - Variable in class CiaoJava.PLConnection
 
evOut - Variable in class CiaoJava.PLConnection
 
EXCEPTION - Static variable in class CiaoJava.PLGoal
 

F

FACTOR - Static variable in class CiaoJava.PLEventListener
 
FACTOR - Static variable in class CiaoJava.PLEvents
 
FACTOR - Static variable in class CiaoJava.PLInterpreter
 
fail - Static variable in class CiaoJava.PLTerm
Fail representation.
FAIL - Static variable in class CiaoJava.PLGoal
 
fastRead(BufferedReader) - Static method in class CiaoJava.PLTerm
Conversion from Prolog low level format to a Java object.
fastWrite() - Method in class CiaoJava.PLTerm
Translation from a Java object to Prolog low level representation.
finalize() - Method in class CiaoJava.PLGoal
Destructor.
FINISHED - Static variable in class CiaoJava.PLGoal
 
FLOAT - Static variable in class CiaoJava.PLTerm
 
fromProlog() - Method in class CiaoJava.PLConnection
Prolog-to-Java communication.
fromProlog(BufferedReader) - Method in class CiaoJava.PLConnection
Low level Prolog-to-Java communication.

G

genPrefix(PLTerm) - Method in class CiaoJava.PLTerm
Prefix generation in $fast format.
genTerm(PLTerm) - Method in class CiaoJava.PLTerm
Term generation in $fast format.
GET_VALUE - Static variable in class CiaoJava.PLInterpreter
 
getArg(int) - Method in class CiaoJava.PLStructure
Returns the argument number argNumber, received as argument.
getArgs() - Method in class CiaoJava.PLStructure
Returns an array of Prolog terms containing the arguments of this structure.
getArity() - Method in class CiaoJava.PLStructure
Returns the arity of this Prolog structure.
getBinding() - Method in class CiaoJava.PLVariable
Returns the binding of this Prolog variable.
getChar(BufferedReader) - Static method in class CiaoJava.PLTerm
Gets one char from the reader received as argument.
getConstructor(Class, Class[]) - Method in class CiaoJava.PLInterpreter
Gets the constructor of the class cl that matches the parameter type object array.
getDistance(Class, Class) - Method in class CiaoJava.PLInterpreter
Gets a measure of the 'distance' between two assignable classes.
getFloat(BufferedReader) - Static method in class CiaoJava.PLTerm
Gets a float from the buffer until '\0' is found.
getFunctor() - Method in class CiaoJava.PLStructure
Returns the functor name of this Prolog structure.
getHead() - Method in class CiaoJava.PLList
Gets the head of a PLList object.
getInt(BufferedReader) - Static method in class CiaoJava.PLTerm
Gets an integer from the buffer until '\0' is found.
getMethod(Class, String, Class[]) - Method in class CiaoJava.PLInterpreter
Gets the method of the class cl that matches the parameter type object array.
getName() - Method in class CiaoJava.PLAtom
Gets the name of this atom as a string.
getNumber() - Method in class CiaoJava.PLVariable
Returns the internal variable number.
getObject(Integer) - Method in class CiaoJava.PLInterpreter
Gets the object from the object table given the hash code.
getPort() - Method in class CiaoJava.PLServerSocket
Returns de port number on which the PLServerSocket object is listening.
getPrefix(BufferedReader) - Static method in class CiaoJava.PLTerm
Gets the prefix of a Prolog low level fast format term.
getReader(Socket) - Static method in class CiaoJava.PLServerSocket
Returns the BufferedReader input stream for this socket connection.
getString(BufferedReader) - Static method in class CiaoJava.PLTerm
Gets a substring from the buffer until '\0' is found.
getTail() - Method in class CiaoJava.PLList
Gets the tail of a PLList object.
getTerm(BufferedReader) - Static method in class CiaoJava.PLTerm
gets a term from the buffer in 'fast' format.
getValue() - Method in class CiaoJava.PLInteger
Gets the integer value of the PLInteger object.
getValue() - Method in class CiaoJava.PLString
Gets the value of a Prolog string object.
getValue() - Method in class CiaoJava.PLFloat
Returns the value of this Prolog float as a Java double.
getValue(PLStructure) - Method in class CiaoJava.PLInterpreter
Gets the value of a Java object field.
getWriter(Socket) - Static method in class CiaoJava.PLServerSocket
Returns the PrintWriter output stream for this socket connection.
goals - Variable in class CiaoJava.PLGoals
 

H

Head - Variable in class CiaoJava.PLList
 

I

INCREMENT - Variable in class CiaoJava.PLList
 
INCREMENT - Static variable in class CiaoJava.PLGoals
 
INTEGER - Static variable in class CiaoJava.PLTerm
 
interpret(PLTerm) - Method in class CiaoJava.PLInterpreter
Interprets the request received as argument in a PLTerm object.
interpreter - Variable in class CiaoJava.PLEventListener
Interpreter to evaluate goal arguments.
INTERPRETER_ERROR - Static variable in class CiaoJava.PLTerm
 
INTERPRETER_SUCCESS - Static variable in class CiaoJava.PLTerm
 
INVOKE_METHOD - Static variable in class CiaoJava.PLInterpreter
 
invoke(Method, Object, Object[]) - Method in class CiaoJava.PLInterpreter
Invokes the method received as first argument on the object received as second argument, with the arguments of the third argument.
invokeMethod(PLStructure) - Method in class CiaoJava.PLInterpreter
Invokes a Java object method.
isEmpty() - Method in class CiaoJava.PLEvents
Returns true if this PLEvent object is empty (has no events).
isEmpty() - Method in class CiaoJava.PLGoals
Returns true if this PLGoals object is empty (has no goals).
isException() - Method in class CiaoJava.PLTerm
Prolog exception test.
isFree() - Method in class CiaoJava.PLVariable
free variable test.
isInterpretable(PLTerm) - Static method in class CiaoJava.PLInterpreter
Returns true if the term received as argument can be interpreted by the Prolog term interpreter.
isList() - Method in class CiaoJava.PLTerm
List test.
isNil() - Method in class CiaoJava.PLTerm
Nil test.
isPrologFail() - Method in class CiaoJava.PLTerm
Prolog fail test.
isPrologSuccess() - Method in class CiaoJava.PLTerm
Prolog success test.
isQueryId() - Method in class CiaoJava.PLTerm
Prolog query id test.
isRunnable() - Method in class CiaoJava.PLTerm
Execution test for Prolog objects.
isRunnable() - Method in class CiaoJava.PLStructure
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLList
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLInteger
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLAtom
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLString
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLFloat
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLVariable
Execution test on Prolog objects.
isSolution() - Method in class CiaoJava.PLTerm
Prolog solution test.
isString() - Method in class CiaoJava.PLTerm
String test.
isStructure() - Method in class CiaoJava.PLTerm
Structure test.
isVariable() - Method in class CiaoJava.PLTerm
Variable test.

J

JAVA_OBJECT - Static variable in class CiaoJava.PLTerm
 
java_object(int) - Method in class CiaoJava.PLInterpreter
Prolog representation of a Java object in the object table.
JAVA_QUIT - Static variable in class CiaoJava.PLJavaServer
 
javaRepr(PLInterpreter) - Method in class CiaoJava.PLTerm
Java representation of the Prolog term.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLStructure
Java representation of a structure.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLList
Java representation of a PLList.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLInteger
Gets the Java representation of this Prolog integer as an object.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLAtom
Gets the Java representation of the atom as an object.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLString
Java representation of a PLString.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLFloat
Java representation of a Prolog float.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLVariable
Java representation of a variable: just itself.

L

lastRef - Static variable in class CiaoJava.PLVariable
 
LAUNCH_GOAL - Static variable in class CiaoJava.PLGoal
 
LAUNCH_GOAL_ON_THREAD - Static variable in class CiaoJava.PLGoal
 
launchGoal(PLConnection) - Method in class CiaoJava.PLStructure
Goal launching.
launchGoal(PLInterpreter, PLConnection) - Method in class CiaoJava.PLStructure
Goal launching.
launchGoal(PrintWriter) - Method in class CiaoJava.PLTerm
Execution of a Prolog goal.
launchGoal(PrintWriter) - Method in class CiaoJava.PLAtom
this method is under development.
launchGoals(PLInterpreter, PLConnection) - Method in class CiaoJava.PLGoals
Launches the goals of this set, based on the interpreter given as argument.
length() - Method in class CiaoJava.PLList
Returns the number of elements of this PLList.
length() - Method in class CiaoJava.PLString
Returns the number of characters of this PLString.
LIST - Static variable in class CiaoJava.PLTerm
 

M

main(String[]) - Static method in class CiaoJava.PLJavaServer
Start up method.
MAX_READ_BUFFER - Static variable in class CiaoJava.PLTerm
 
MAXPORT - Variable in class CiaoJava.PLServerSocket
 

N

Name - Variable in class CiaoJava.PLStructure
 
NEXT_SOLUTION - Static variable in class CiaoJava.PLGoal
 
NEXT_SOLUTION_ON_THREAD - Static variable in class CiaoJava.PLGoal
 
nextSolution() - Method in class CiaoJava.PLGoal
Sends to Prolog process a request for the next query solution.
nil - Static variable in class CiaoJava.PLTerm
Empty list representation.
NOT_LAUNCHED - Static variable in class CiaoJava.PLGoal
 
numberOfCells() - Method in class CiaoJava.PLTerm
Number of cells on the Prolog WAM heap for this term.
numberOfCells() - Method in class CiaoJava.PLStructure
 
numberOfCells() - Method in class CiaoJava.PLList
Returns the number of cells needed to represent this PLList in the Prolog heap.
numberOfCells() - Method in class CiaoJava.PLInteger
Number of cells used in the internal Prolog representation.
numberOfCells() - Method in class CiaoJava.PLAtom
Returns the number of cells used in the internal Prolog representation.
numberOfCells() - Method in class CiaoJava.PLString
Returns the number of cells needed to represent this PLString in the Prolog heap.
numberOfCells() - Method in class CiaoJava.PLFloat
Not implemented.
numberOfCells() - Method in class CiaoJava.PLVariable
 

O

objKey - Variable in class CiaoJava.PLInterpreter
 
objTable - Variable in class CiaoJava.PLEventListener
Object/event Hashtable.
objTable - Variable in class CiaoJava.PLInterpreter
 
openSocket() - Method in class CiaoJava.PLServerSocket
Accepts a client request for this socket port.
originalGoal - Variable in class CiaoJava.PLGoal
 

P

parseTerm(String) - Method in class CiaoJava.PLGoal
This method uses the Prolog process to parse a Prolog term received as a string.
PFX_ATOM - Static variable in class CiaoJava.PLTerm
 
PFX_FLOAT - Static variable in class CiaoJava.PLTerm
 
PFX_LIST_WITH_NIL_TAIL - Static variable in class CiaoJava.PLTerm
 
PFX_LIST_WITH_NONIL_TAIL - Static variable in class CiaoJava.PLTerm
 
PFX_LONG_INT - Static variable in class CiaoJava.PLTerm
 
PFX_MULTI_REF_ATOM - Static variable in class CiaoJava.PLTerm
 
PFX_MULTI_REF_STRUCT - Static variable in class CiaoJava.PLTerm
 
PFX_MULTI_REF_VAR - Static variable in class CiaoJava.PLTerm
 
PFX_SHORT_INT - Static variable in class CiaoJava.PLTerm
 
PFX_SINGLE_REF_VAR - Static variable in class CiaoJava.PLTerm
 
PFX_STRUCT - Static variable in class CiaoJava.PLTerm
 
PFXC_ATOM - Static variable in class CiaoJava.PLTerm
 
PFXC_FLOAT - Static variable in class CiaoJava.PLTerm
 
PFXC_INTEGER - Static variable in class CiaoJava.PLTerm
 
PFXC_LIST - Static variable in class CiaoJava.PLTerm
 
PFXC_NIL - Static variable in class CiaoJava.PLTerm
 
PFXC_STRING - Static variable in class CiaoJava.PLTerm
 
PFXC_STRUCT - Static variable in class CiaoJava.PLTerm
 
PFXC_VARIABLE - Static variable in class CiaoJava.PLTerm
 
pl - Variable in class CiaoJava.PLEventListener
Prolog connection for the goals to be launched when an event occurs.
PLAtom - class CiaoJava.PLAtom.
Prolog atom representation.
PLAtom(String) - Constructor for class CiaoJava.PLAtom
Atom constructor.
PLConnection - class CiaoJava.PLConnection.
Starts and handles a connection to a Prolog process via sockets.
PLConnection() - Constructor for class CiaoJava.PLConnection
Creates a PLConnection for the Prolog-to-Java interface: waits for a Prolog process that wants to connect to it.
PLConnection(String) - Constructor for class CiaoJava.PLConnection
Creates a PLConnection to use the Java-to-Prolog interface.
PLEventListener - class CiaoJava.PLEventListener.
This class listens events directly from the system event queue.
PLEventListener(PLConnection, PLInterpreter) - Constructor for class CiaoJava.PLEventListener
Creates a new event listener.
PLEvents - class CiaoJava.PLEvents.
This class represents the set of events that are being listened for an object.
PLEvents(Class, PLTerm) - Constructor for class CiaoJava.PLEvents
Creates a new event class to be listened for an object, and inserts the class and goal given.
PLException - exception CiaoJava.PLException.
This class implements the exceptions that can be thrown using the CiaoJava package, and translates the exceptions received from the Prolog side.
PLException() - Constructor for class CiaoJava.PLException
Creates a new PLException with no description.
PLException(String) - Constructor for class CiaoJava.PLException
Creates a new PLException with the description given as argument.
PLFloat - class CiaoJava.PLFloat.
This class represents the Prolog floats.
PLFloat(double) - Constructor for class CiaoJava.PLFloat
Creates a new PLFloat object with the given float value.
PLGoal - class CiaoJava.PLGoal.
This class Represents a Prolog goal to be evaluated on a given PLConnection.
PLGoal(PLConnection, PLTerm) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoal(PLConnection, String) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoalException - exception CiaoJava.PLGoalException.
This class implements the exceptions that can throw when a goal is launched to be evaluated by the prolog process.
PLGoalException() - Constructor for class CiaoJava.PLGoalException
Creates a new PLGoalException with no description.
PLGoalException(String) - Constructor for class CiaoJava.PLGoalException
Creates a new PLGoalException with the description given as argument.
PLGoals - class CiaoJava.PLGoals.
This class represents the set of listeners for an event type.
PLGoals() - Constructor for class CiaoJava.PLGoals
Creates a new empty goal set.
PLGoals(PLTerm) - Constructor for class CiaoJava.PLGoals
Creates a new goal set with the goal given.
plIn - Variable in class CiaoJava.PLConnection
 
PLInteger - class CiaoJava.PLInteger.
Prolog integer representation.
PLInteger(int) - Constructor for class CiaoJava.PLInteger
Integer constructor.
PLInterpreter - class CiaoJava.PLInterpreter.
This class interprets the terms received from the Prolog side and performs the actions requested from that side.
PLInterpreter(PLConnection) - Constructor for class CiaoJava.PLInterpreter
Creates a new interpreter, with the table of objects managed by Prolog given as argument.
PLJavaServer - class CiaoJava.PLJavaServer.
This class implements the starting point of the Java object server.
PLJavaServer() - Constructor for class CiaoJava.PLJavaServer
 
PLList - class CiaoJava.PLList.
Java representation of a Prolog list.
PLList(PLTerm[]) - Constructor for class CiaoJava.PLList
Given a Java list, creates a Java PLList object containing the objects included in the Java list.
PLList(PLTerm, PLTerm) - Constructor for class CiaoJava.PLList
Given a head and a tail, creates a Java PLList object.
PLList(String) - Constructor for class CiaoJava.PLList
Given a Java string, creates a Java PLList object containing the characters included in the Java string.
plOut - Variable in class CiaoJava.PLConnection
 
plProc - Variable in class CiaoJava.PLConnection
Private fields.
PLServerSocket - class CiaoJava.PLServerSocket.
This class creates a server socket and keeps it listening at socket port #5000 (or number given in constructor).
PLServerSocket() - Constructor for class CiaoJava.PLServerSocket
Server socket creation.
PLString - class CiaoJava.PLString.
This class implements the Java representation of a Prolog string.
PLString(String) - Constructor for class CiaoJava.PLString
Given a Java string, creates a Java PLString object.
PLStructure - class CiaoJava.PLStructure.
This class is used to represent in Java the Prolog compound terms.
PLStructure(String, int, PLTerm[]) - Constructor for class CiaoJava.PLStructure
Creates a new PLStructure object with the functor, arity and arguments received as parameters.
PLStructure(String, PLTerm[]) - Constructor for class CiaoJava.PLStructure
Creates a new PLStructure object.
PLTerm - class CiaoJava.PLTerm.
Java representation of Prolog terms.
PLTerm() - Constructor for class CiaoJava.PLTerm
 
PLVariable - class CiaoJava.PLVariable.
Prolog variables representation.
PLVariable() - Constructor for class CiaoJava.PLVariable
Creates a new Prolog variable and references it to a free variable number.
PLVariable(int) - Constructor for class CiaoJava.PLVariable
Creates a new Prolog variable with a given variable number.
port - Variable in class CiaoJava.PLServerSocket
 
PROLOG_EXCEPTION - Static variable in class CiaoJava.PLTerm
 
PROLOG_FAIL - Static variable in class CiaoJava.PLTerm
 
PROLOG_QUERY_ID - Static variable in class CiaoJava.PLTerm
 
PROLOG_SUCCESS - Static variable in class CiaoJava.PLTerm
 
prologRepr(Object) - Method in class CiaoJava.PLInterpreter
Gets the Prolog representation of the object argument.
prologSpace - Variable in class CiaoJava.PLGoal
 

Q

query() - Method in class CiaoJava.PLGoal
Goal query.
query(PLTerm) - Method in class CiaoJava.PLConnection
Goal launching.
queryId - Variable in class CiaoJava.PLGoal
 
queue - Variable in class CiaoJava.PLEventListener
System queue
QUIT - Static variable in class CiaoJava.PLInterpreter
 

R

REMOVE_LISTENER - Static variable in class CiaoJava.PLInterpreter
 
removeEvent(Class, PLTerm) - Method in class CiaoJava.PLEvents
Removes an event class from the event list.
removeGoal(PLTerm) - Method in class CiaoJava.PLGoals
Removes the goal given from this goal set.
removeListener(Object, Class, PLTerm) - Method in class CiaoJava.PLEventListener
Removes a listener.
removeListener(PLStructure) - Method in class CiaoJava.PLInterpreter
Removes the Java object event from the listener predicate.

S

SET_VALUE - Static variable in class CiaoJava.PLInterpreter
 
setTail(PLList) - Method in class CiaoJava.PLList
Sets the tail of a PLList object, removing the previous tail.
setValue(PLStructure) - Method in class CiaoJava.PLInterpreter
Sets the value of a Java object field.
SINGLE_REF - Variable in class CiaoJava.PLVariable
 
sock - Variable in class CiaoJava.PLServerSocket
 
SOLUTION - Static variable in class CiaoJava.PLGoal
 
START_CAPACITY - Variable in class CiaoJava.PLList
 
STARTING_CAPACITY - Static variable in class CiaoJava.PLEventListener
Internal constants.
STARTING_CAPACITY - Static variable in class CiaoJava.PLEvents
 
STARTING_CAPACITY - Static variable in class CiaoJava.PLGoals
 
STARTING_CAPACITY - Static variable in class CiaoJava.PLInterpreter
 
STRING - Static variable in class CiaoJava.PLTerm
 
STRING_BUFFER_SIZE - Static variable in class CiaoJava.PLTerm
 
STRUCTURE - Static variable in class CiaoJava.PLTerm
 
success - Static variable in class CiaoJava.PLTerm
Success representation.

T

Tail - Variable in class CiaoJava.PLList
 
terminate_() - Method in class CiaoJava.PLGoal
This private method implements the common tasks related to goal termination.
TERMINATE_QUERY - Static variable in class CiaoJava.PLGoal
 
TERMINATE_QUERY_ON_THREAD - Static variable in class CiaoJava.PLGoal
 
terminate() - Method in class CiaoJava.PLGoal
Terminates this Prolog goal execution.
TERMINATED - Static variable in class CiaoJava.PLGoal
 
toProlog(PLTerm) - Method in class CiaoJava.PLConnection
Low level Java-to-Prolog communication.
toProlog(PrintWriter, PLTerm) - Method in class CiaoJava.PLConnection
Low level Java-to-Prolog communication.
toPrologEvent(PLTerm) - Method in class CiaoJava.PLConnection
Low level Java-to-Prolog event communication.
toString() - Method in class CiaoJava.PLTerm
String representation of the Prolog term.
toString() - Method in class CiaoJava.PLStructure
String representation of a Prolog structure.
toString() - Method in class CiaoJava.PLList
String representation of a Java PLList object.
toString() - Method in class CiaoJava.PLInteger
String representation.
toString() - Method in class CiaoJava.PLGoal
String representation of a Prolog goal.
toString() - Method in class CiaoJava.PLAtom
String representation of a Prolog atom.
toString() - Method in class CiaoJava.PLString
String representation of a Java PLString object.
toString() - Method in class CiaoJava.PLFloat
String representation of a Prolog float.
toString() - Method in class CiaoJava.PLVariable
Returns the string representation of this Prolog variable If the variable is bound to a Prolog term, this term is also represented enclosed between brackets.
translateArg(Object, Class) - Method in class CiaoJava.PLInterpreter
Argument translation for method/constructor invocation.
translateException(PLTerm) - Static method in class CiaoJava.PLException
Translated a Prolog exception represented as a term in a Java PLException.
Type - Variable in class CiaoJava.PLTerm
 

U

unbind() - Method in class CiaoJava.PLVariable
Variable unbinding.
unify(PLTerm) - Method in class CiaoJava.PLTerm
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLStructure
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLList
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLVariable
Term unification.
USE_MODULE - Static variable in class CiaoJava.PLGoal
 
useModule(PLTerm) - Method in class CiaoJava.PLGoal
This method loads a module in the Prolog process.
useModule(String) - Method in class CiaoJava.PLGoal
This method loads a module in the Prolog process.

V

Value - Variable in class CiaoJava.PLInteger
Value of the Prolog integer.
Value - Variable in class CiaoJava.PLAtom
 
Value - Variable in class CiaoJava.PLString
 
Value - Variable in class CiaoJava.PLFloat
Value of this Prolog float.
VarCounter - Static variable in class CiaoJava.PLTerm
 
VARIABLE - Static variable in class CiaoJava.PLTerm
 
VarNumber - Static variable in class CiaoJava.PLTerm
 
VarNumber - Variable in class CiaoJava.PLVariable
 
VERSION_A - Static variable in class CiaoJava.PLTerm
 
VERSION_C - Static variable in class CiaoJava.PLTerm
 

W

WAIT_FOR_EVENTS - Static variable in class CiaoJava.PLInterpreter
 

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