Skip navigation links
A B C E F G I J L M N O P Q S T U 

A

add(PLTerm) - Method in class CiaoJava.PLList
Adds a term as the tail of a PLList object.
append(PLTerm) - Method in class CiaoJava.PLList
Appends the list given as argument as the tail of this PLList.

B

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.

C

CiaoJava - package CiaoJava
This package includes all of the classes needed to use both Java-to-Prolog and Prolog-to-Java interfaces.
close() - Method in class CiaoJava.PLConnection
Deprecated.
This method is deprecated. Use stop method instead.
closeSocketStreams() - Method in class CiaoJava.PLConnection
Closes interface sockets and related streams.
copy() - Method in class CiaoJava.PLAtom
Makes a full copy of this PLAtom object.
copy() - Method in class CiaoJava.PLFloat
Makes a full copy of this PLFloat object.
copy() - Method in class CiaoJava.PLInteger
Makes a full copy of this PLInteger object.
copy() - Method in class CiaoJava.PLList
Makes a full copy of this PLList Prolog list object.
copy() - Method in class CiaoJava.PLString
Makes a full copy of this PLString object.
copy() - Method in class CiaoJava.PLStructure
Makes a full copy of this PLStructure Prolog structure object.
copy() - Method in class CiaoJava.PLTerm
Duplication of Prolog terms.
copy() - Method in class CiaoJava.PLVariable
Makes a full copy of this PLVariable Prolog variable object.

E

equals(PLTerm) - Method in class CiaoJava.PLAtom
comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLFloat
Comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLInteger
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.PLString
Compares this PLString object with the PLTerm given as argument.
equals(PLTerm) - Method in class CiaoJava.PLStructure
comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLTerm
Comparison between Prolog terms.
equals(PLTerm) - Method in class CiaoJava.PLVariable
Strict comparison between Prolog terms.
execute() - Method in class CiaoJava.PLGoal
Sends to Prolog process a request for the execution of this goal, and returns immediately.

F

fail - Static variable in class CiaoJava.PLTerm
Fail representation.
finalize() - Method in class CiaoJava.PLGoal
Destructor.

G

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.
getConnection() - Method in class CiaoJava.PLGoal
Gets connection that this goal uses to communicate to Prolog.
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.
getInterpreter() - Method in class CiaoJava.PLConnection
Gets the Prolog Interpreter object used to interpret Prolog terms received from the Prolog side of the interface.
getName() - Method in class CiaoJava.PLAtom
Gets the name of this atom as a string.
getPort() - Method in class CiaoJava.PLServerSocket
Returns de port number on which the PLServerSocket object is listening.
getPreviousConnection() - Static method in class CiaoJava.PLConnection
Returns the last started connection to a Prolog process.
getPrologProcess() - Method in class CiaoJava.PLConnection
 
getReader(Socket) - Static method in class CiaoJava.PLServerSocket
Returns the BufferedReader input stream for this socket connection.
getTail() - Method in class CiaoJava.PLList
Gets the tail of a PLList object.
getValue() - Method in class CiaoJava.PLFloat
Returns the value of this Prolog float as a Java double.
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.
getWriter(Socket) - Static method in class CiaoJava.PLServerSocket
Returns the PrintWriter output stream for this socket connection.

I

isAtom() - Method in class CiaoJava.PLTerm
Atom test.
isFloat() - Method in class CiaoJava.PLTerm
Float test.
isFree() - Method in class CiaoJava.PLVariable
free variable test.
isInteger() - Method in class CiaoJava.PLTerm
Integer test.
isList() - Method in class CiaoJava.PLTerm
List test.
isNil() - Method in class CiaoJava.PLTerm
Nil test.
isRunnable() - Method in class CiaoJava.PLAtom
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLFloat
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLInteger
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLList
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLString
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLStructure
Execution test on Prolog objects.
isRunnable() - Method in class CiaoJava.PLTerm
Execution test for Prolog objects.
isRunnable() - Method in class CiaoJava.PLVariable
Execution test on Prolog objects.
isStillRunning() - Method in class CiaoJava.PLGoal
Checks if Prolog is still running this query, or there are solutions that have not been requested.
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

javaRepr(PLInterpreter) - Method in class CiaoJava.PLAtom
Gets the Java representation of the atom as an object.
javaRepr() - Method in class CiaoJava.PLAtom
Gets the Java representation of the atom as an object (a String object).
javaRepr(PLInterpreter) - Method in class CiaoJava.PLFloat
Java representation of a Prolog float.
javaRepr() - Method in class CiaoJava.PLFloat
Java representation of a Prolog float.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLInteger
Gets the Java representation of this Prolog integer as an object.
javaRepr() - Method in class CiaoJava.PLInteger
Gets the Java representation of this Prolog integer as an object.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLList
Java representation of a PLList.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLString
Java representation of a PLString.
javaRepr() - Method in class CiaoJava.PLString
Java representation of a PLString.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLStructure
Java representation of a structure.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLTerm
Java representation of the Prolog term.
javaRepr(PLInterpreter) - Method in class CiaoJava.PLVariable
Java representation of a variable: just itself.
join() - Method in class CiaoJava.PLConnection
Waits until all the internal threads terminate.
joinSocketHandlers() - Method in class CiaoJava.PLConnection
Waits until socket handling threads terminate.

L

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.

M

main(String[]) - Static method in class CiaoJava.PLJavaServer
Start up method.

N

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.

O

openSocket() - Method in class CiaoJava.PLServerSocket
Accepts a client request for this socket port.

P

PLAtom - Class in CiaoJava
Prolog atom representation.
PLAtom(String) - Constructor for class CiaoJava.PLAtom
Atom constructor.
PLConnection - Class in CiaoJava
Class for managing communication to Prolog.
PLConnection() - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object, establishing a new socket server and listening Prolog connections on a free port.
PLConnection(String[]) - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object that executes the Prolog server, and starts it.
PLConnection(String) - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object that executes the Prolog server, and starts it.
PLConnection(ServerSocket) - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object, given an existing socket server.
PLConnection(int, String[]) - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object that executes the Prolog server, and starts it.
PLConnection(String, int) - Constructor for class CiaoJava.PLConnection
Creates a new PLConnection object that connects to a Prolog server at host and port given as argument.
PLException - Exception in CiaoJava
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 exception CiaoJava.PLException
Creates a new PLException with no description.
PLException(String) - Constructor for exception CiaoJava.PLException
Creates a new PLException with the description given as argument.
PLFloat - Class in CiaoJava
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 in CiaoJava
This class Represents a Prolog goal to be evaluated on a given PLConnection.
PLGoal(PLTerm) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoal(PLConnection, PLTerm) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoal(String) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoal(PLConnection, String) - Constructor for class CiaoJava.PLGoal
Goal constructor.
PLGoalException - Exception in CiaoJava
This class implements the exceptions that can throw when a goal is launched to be evaluated by the prolog process.
PLGoalException() - Constructor for exception CiaoJava.PLGoalException
Creates a new PLGoalException with no description.
PLGoalException(String) - Constructor for exception CiaoJava.PLGoalException
Creates a new PLGoalException with the description given as argument.
PLInteger - Class in CiaoJava
Prolog integer representation.
PLInteger(int) - Constructor for class CiaoJava.PLInteger
Integer constructor.
PLJavaServer - Class in CiaoJava
This class implements the starting point of the server of Java objects to Prolog.
PLJavaServer() - Constructor for class CiaoJava.PLJavaServer
 
PLList - Class in CiaoJava
Java representation of a Prolog list.
PLList(PLTerm, PLTerm) - Constructor for class CiaoJava.PLList
Given a head and a tail, creates a Java PLList object.
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(String) - Constructor for class CiaoJava.PLList
Given a Java string, creates a Java PLList object containing the characters included in the Java string.
PLServerSocket - Class in CiaoJava
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 in CiaoJava
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 in CiaoJava
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 in CiaoJava
Java representation of Prolog terms.
PLTerm() - Constructor for class CiaoJava.PLTerm
 
PLVariable - Class in CiaoJava
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.

Q

query(PLTerm) - Method in class CiaoJava.PLConnection
Goal launching.
query() - Method in class CiaoJava.PLGoal
Goal query.

S

start(String, int) - Method in class CiaoJava.PLConnection
Starts the PLConnection for the Prolog-to-Java interface, connecting to an already executing Prolog server, listening at port given as argument.
start() - Method in class CiaoJava.PLConnection
Starts the PLConnection for the Prolog-to-Java interface: waits for a Prolog connection.
stop() - Method in class CiaoJava.PLConnection
Stops the interface.
success - Static variable in class CiaoJava.PLTerm
Success representation.

T

terminate() - Method in class CiaoJava.PLGoal
Terminates this Prolog goal execution.
toPLList() - Method in class CiaoJava.PLString
Converts this Prolog string into a Prolog list of ASCII codes of this string.
toString() - Method in class CiaoJava.PLAtom
String representation of a Prolog atom.
toString() - Method in class CiaoJava.PLFloat
String representation of a Prolog float.
toString() - Method in class CiaoJava.PLGoal
String representation of a Prolog goal.
toString() - Method in class CiaoJava.PLInteger
String representation.
toString() - Method in class CiaoJava.PLList
String representation of a Java PLList object.
toString() - Method in class CiaoJava.PLString
String representation of a Java PLString object.
toString() - Method in class CiaoJava.PLStructure
String representation of a Prolog structure.
toString() - Method in class CiaoJava.PLTerm
String representation of the Prolog term.
toString() - Method in class CiaoJava.PLVariable
Returns the string representation of this Prolog variable.
translateException(PLTerm) - Static method in exception CiaoJava.PLException
Translated a Prolog exception represented as a term in a Java PLException.

U

unbind() - Method in class CiaoJava.PLVariable
Variable unbinding.
unify(PLTerm) - Method in class CiaoJava.PLList
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLStructure
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLTerm
Term unification.
unify(PLTerm) - Method in class CiaoJava.PLVariable
Term unification.
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.
A B C E F G I J L M N O P Q S T U 
Skip navigation links