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

A

AbstractNativeEngine - class com.xsb.interprolog.AbstractNativeEngine.
A PrologEngine implemented using the Java Native Interface.
AbstractNativeEngine(String, boolean, boolean) - Constructor for class com.xsb.interprolog.AbstractNativeEngine
 
AbstractPrologEngine - class com.declarativa.interprolog.AbstractPrologEngine.
The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
AbstractPrologEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.AbstractPrologEngine
Create a Prolog executor, possibly spawning it in a different process or loading it into memory, depending on the implementation by our subclass.
AllTests - class com.declarativa.interprolog.AllTests.
 
AllTests() - Constructor for class com.declarativa.interprolog.AllTests
 
abort() - Method in class com.declarativa.interprolog.util.GoalToExecute
Used on the InterProlog Java side to "cascade" an abort over pending goals to execute
abortTasks() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Do not invoke this.
actionPerformed(ActionEvent) - Method in class com.declarativa.interprolog.gui.PrologEventBroker
 
actionPerformed(ActionEvent) - Method in class com.declarativa.interprolog.gui.RelationTreeModel.BrowseAction
 
addChildren(TermModel[]) - Method in class com.declarativa.interprolog.TermModel
Add children to this term node; a new children array is created and old children are copied to it
addListDataListener(ListDataListener) - Method in class com.declarativa.interprolog.gui.TermListModel
 
addOutputListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
addPrologOutputListener(PrologOutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
Add a PrologOutputListener to this engine.
addPrologStderrListener(OutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
 
addPrologStdoutListener(OutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
Add a OutputListener to get output from Prolog's standard output.
addRecognizerListener(RecognizerListener) - Method in class com.declarativa.interprolog.util.Recognizer
 
addTableModelListener(TableModelListener) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
addTermModelListener(TermModelListener) - Method in class com.declarativa.interprolog.TermModel
Start notifying listener l of changes to this term.
addTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.TermModel
 
addTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.GNUPeer
Demmand .pl
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.SWIPeer
No support for SWI (q)saved states
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.XSBPeer
 
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.YAPPeer
 
analyseBytes(byte[], int) - Method in interface com.declarativa.interprolog.util.OutputListener
nBytes new output bytes are in buffer to analyse
analyseBytes(byte[], int) - Method in class com.declarativa.interprolog.util.Recognizer
 
arguments - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
assignTermChanges(TermModel) - Method in class com.declarativa.interprolog.TermModel
Assuming this and the other terms are structurally similar, replaces variable nodes in this term by corresponding nonvar nodes.
assignToVar(VariableNode, Object) - Method in class com.declarativa.interprolog.TermModel
Replaces all occurrences of v in this subterm by value, using setNodeValue
assignableType(Class, Class) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
It is OK to assign an expression typed right to a variable typed left.

B

BasicTypeWrapper - class com.declarativa.interprolog.util.BasicTypeWrapper.
A class used to serialize basic type values (int, boolean,...).
BasicTypeWrapper(Object) - Constructor for class com.declarativa.interprolog.util.BasicTypeWrapper
 
basicTypeClass() - Method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
beep() - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
browseRelation(PrologEngine, String, Object) - Static method in class com.declarativa.interprolog.gui.RelationTreeModel
 

C

children - Variable in class com.declarativa.interprolog.TermModel
public for convenience, but should not be set outside this class; children == null means children == new TermModel[0]
className - Variable in class com.declarativa.interprolog.util.IPClassVariable
 
classname - Variable in class com.declarativa.interprolog.util.IPClassObject
 
clone() - Method in class com.declarativa.interprolog.TermModel
Clones by serialization, to keep variable bindings; these should form a closed graph within this term, otherwise the new term instance would contain dangling references
com.declarativa.interprolog - package com.declarativa.interprolog
 
com.declarativa.interprolog.gui - package com.declarativa.interprolog.gui
 
com.declarativa.interprolog.util - package com.declarativa.interprolog.util
 
com.xsb.interprolog - package com.xsb.interprolog
 
command(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Execute a Prolog "command"
command(String) - Method in interface com.declarativa.interprolog.PrologEngine
Execute a Prolog "command".
commandArgs(String[]) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
commonGreeting() - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
commonMain(String[]) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
consultAbsolute(File) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Consults a Prolog file
consultAbsolute(File) - Method in interface com.declarativa.interprolog.PrologEngine
Consults a Prolog file
consultFromPackage(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Extracts a Prolog file from the jar file or directory where the requester's class came from, and asks Prolog process to consult it.
consultFromPackage(String, Object) - Method in interface com.declarativa.interprolog.PrologEngine
Extracts a Prolog file from the jar file or directory where the requester's class came from, and asks Prolog process to consult it.
consultRelative(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Consults a Prolog file from the directory where the requester's class would come from if it did not come from a jar file.
consultRelative(String, Object) - Method in interface com.declarativa.interprolog.PrologEngine
Consults a Prolog file from the directory where the requester's class would come from if it did not come from a jar file.

D

debug - Static variable in class com.declarativa.interprolog.gui.ListenerWindow
 
deleteChildren(int[]) - Method in class com.declarativa.interprolog.TermModel
Delete children with specified indexes; a new children array is created and old children are copied to it
deleteChildren(TermModel[]) - Method in class com.declarativa.interprolog.TermModel
Removes the children in array; it finds children to remove by using the equivalent of Prolog's ==.
deterministicGoal(String, String, Object[], String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Synchronously calls a Prolog goal.
deterministicGoal(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
A parameterless goal with no result other than success/failure.
deterministicGoal(String, String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Useful when you're constructing objects from Prolog, but don't need to pass any from Java.
deterministicGoal(String, String, Object[]) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Useful when you want to pass objects to Prolog but don't need objects returned.
deterministicGoal(TermModel) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Useful for inter-Prolog goal calling through Java.
deterministicGoal(String, String, Object[], String) - Method in interface com.declarativa.interprolog.PrologEngine
Synchronously calls a Prolog goal.
deterministicGoal(String) - Method in interface com.declarativa.interprolog.PrologEngine
A parameterless goal with no result other than success/failure.
deterministicGoal(String, String) - Method in interface com.declarativa.interprolog.PrologEngine
Useful when you're constructing objects from Prolog, but don't need to pass any from Java.
deterministicGoal(String, String, Object[]) - Method in interface com.declarativa.interprolog.PrologEngine
Useful when you want to pass objects to Prolog but don't need objects returned.
deterministicGoal(TermModel) - Method in interface com.declarativa.interprolog.PrologEngine
Useful for inter-Prolog goal calling through Java.
deterministicGoal(String, String, Object[], String) - Method in class com.declarativa.interprolog.SubprocessEngine
 
deterministicGoal(String, String, Object[], String) - Method in class com.xsb.interprolog.AbstractNativeEngine
 
doCallback(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Execute a Prolog->Java call

E

endAllTasks(Exception) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Do not invoke this
engine - Variable in class com.declarativa.interprolog.PrologEngineTest
 
engine - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
equals(Object) - Method in class com.declarativa.interprolog.PrologEngineTest.NumberTypes
 
equals(Object) - Method in class com.declarativa.interprolog.TermModel
True if both terms are structurally similar with equal nodes
equals(Object) - Method in class com.declarativa.interprolog.util.VariableNode
 
error - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Error message, null if none; used to be a String, now can be anything to cater for Prolog exceptions
errorMessage(String) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
example() - Static method in class com.declarativa.interprolog.PrologEngineTest.NumberTypes
 
example() - Static method in class com.declarativa.interprolog.TermModel
 
example() - Static method in class com.declarativa.interprolog.gui.PredicateTableModel
 
example() - Static method in class com.declarativa.interprolog.gui.RelationTreeModel
 
example() - Static method in class com.declarativa.interprolog.gui.TermListModel
 
example() - Static method in class com.declarativa.interprolog.gui.TermTreeModel
 
example() - Static method in class com.declarativa.interprolog.gui.XSBTableModel
 
example() - Static method in class com.declarativa.interprolog.util.VariableNode
 
exception - Variable in class com.declarativa.interprolog.util.ResultFromJava
exception thrown directly by java.lang.reflect.Method#invoke().
executablePath(String) - Method in class com.declarativa.interprolog.GNUPeer
 
executablePath(String) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
executablePath(Properties) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
executablePath(String) - Method in class com.declarativa.interprolog.SWIPeer
 
executablePath(String) - Method in class com.declarativa.interprolog.XSBPeer
 
executablePath(String) - Method in class com.declarativa.interprolog.YAPPeer
 
executeInThread(Runnable) - Method in class com.declarativa.interprolog.util.GoalToExecute
 

F

factorial(int) - Method in class com.declarativa.interprolog.PrologEngineTest
 
fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.GNUPeer
 
fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.SWIPeer
 
fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.YAPPeer
 
fibonaci(int) - Method in class com.declarativa.interprolog.PrologEngineTest
 
findConstructor(Class, Class[]) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Similar to findMethod(), but for constructors rather than regular methods
findMethod(Class, String, Class[]) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
An utility building on the functionality of getMethod(), to provide the javaMessage predicate with method argument polimorphism.
findPathForNode(String, TermModel, boolean) - Static method in class com.declarativa.interprolog.TermModel
 
fireTermChanged() - Method in class com.declarativa.interprolog.TermModel
 
firstJavaMessage() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Dummy method, whose name is used to start the callback thread
firstJavaMessageName - Variable in class com.declarativa.interprolog.AbstractPrologEngine
Name of first message sent to Java
flatList() - Method in class com.declarativa.interprolog.TermModel
Flattens this list into a new TermModel array, but not completely: the result may still contain lists
flatList(TermModel) - Static method in class com.declarativa.interprolog.TermModel
Flattens a list into a TermModel array, but not completely: the result may still contain lists
flush() - Method in class com.declarativa.interprolog.util.PrologOutputObjectStream
 
focusInput() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 

G

GNUPeer - class com.declarativa.interprolog.GNUPeer.
 
GNUPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.GNUPeer
 
GNUSubprocessEngine - class com.declarativa.interprolog.GNUSubprocessEngine.
A PrologEngine encapsulating a GNU Prolog engine, accessed over TCP/IP sockets.
GNUSubprocessEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine(String, boolean) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine(String) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine() - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngineWindow - class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow.
 
GNUSubprocessEngineWindow(GNUSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow
 
GNUSubprocessEngineWindow(GNUSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow
 
GoalFromJava - class com.declarativa.interprolog.util.GoalFromJava.
Represents a goal from Java, called through deterministicGoal
GoalFromJava(int, String, String, Object[], String) - Constructor for class com.declarativa.interprolog.util.GoalFromJava
 
GoalToExecute - class com.declarativa.interprolog.util.GoalToExecute.
A goal scheduled to execute in Prolog whenever possible
GoalToExecute(GoalFromJava) - Constructor for class com.declarativa.interprolog.util.GoalToExecute
 
GoalToExecute(GoalFromJava, Thread) - Constructor for class com.declarativa.interprolog.util.GoalToExecute
 
getBinDirectoryProperty(Properties) - Method in class com.declarativa.interprolog.GNUPeer
 
getBinDirectoryProperty(Properties) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
getBinDirectoryProperty(Properties) - Method in class com.declarativa.interprolog.SWIPeer
 
getBinDirectoryProperty(Properties) - Method in class com.declarativa.interprolog.XSBPeer
 
getBinDirectoryProperty(Properties) - Method in class com.declarativa.interprolog.YAPPeer
 
getCallerThread() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getCause() - Method in class com.declarativa.interprolog.util.IPException
To allow compilation under JDK 1.3; this method is already defined in Throwable in later JDKs
getChild(Object, int) - Method in class com.declarativa.interprolog.TermModel
 
getChild(int) - Method in class com.declarativa.interprolog.TermModel
 
getChild(Object, int) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getChildCount(Object) - Method in class com.declarativa.interprolog.TermModel
 
getChildCount() - Method in class com.declarativa.interprolog.TermModel
 
getChildCount(Object) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getChildren() - Method in class com.declarativa.interprolog.TermModel
 
getColumnClass(int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
getColumnCount() - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
getColumnName(int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
getElementAt(int) - Method in class com.declarativa.interprolog.gui.TermListModel
 
getError() - Method in class com.declarativa.interprolog.util.IPPrologError
 
getFunctorArity() - Method in class com.declarativa.interprolog.TermModel
Return a node/arity String
getGoal() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getImplementationPeer() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
getImplementationPeer() - Method in interface com.declarativa.interprolog.PrologEngine
 
getIndexOfChild(Object, Object) - Method in class com.declarativa.interprolog.TermModel
 
getIndexOfChild(Object, Object) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getJarDirectory() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the directory containing the jar with the engine class
getJarDirectory(Class) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the directory containing the jar with the given class
getLoadFromJar() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
getObject() - Method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
getObjectStream() - Method in class com.declarativa.interprolog.util.PrologOutputObjectStream
 
getOperators() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
getPrologBaseDirectory() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the installation directory for the Prolog system, without the trailing separator char
getPrologBaseDirectory() - Method in interface com.declarativa.interprolog.PrologEngine
Returns the installation directory for the Prolog system, without the trailing separator char
getPrologNumericVersion() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the Prolog numeric version for this engine; useful for functionality that depends on features of a particular version.
getPrologNumericVersion() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
getPrologVersion() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the Prolog system name and version for this engine
getPrologVersion() - Method in interface com.declarativa.interprolog.PrologEngine
Returns the Prolog system version for this engine
getPrologVersion() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
getRealJavaObject(InvisibleObject) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Get the object referred by the integer in a InvisibleObject wrapper.
getRealJavaObject(int) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Same as getRealJavaObject(InvisibleObject), but accepts an integer ID as argument instead
getRealJavaObject(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Just returns the object, untouched (but "dereferenced" if called from Prolog).
getRealJavaObject(InvisibleObject) - Method in interface com.declarativa.interprolog.PrologEngine
Get the object referred by the integer in a InvisibleObject wrapper.
getRealJavaObject(int) - Method in interface com.declarativa.interprolog.PrologEngine
Same as getRealJavaObject(InvisibleObject), but accepts an integer ID as argument instead
getRealJavaObject(Object) - Method in interface com.declarativa.interprolog.PrologEngine
Just returns the object, untouched (but "dereferenced" if called from Prolog).
getRealJavaObject(InvisibleObject) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
getRealJavaObject(int) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
getResult() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getRoot() - Method in class com.declarativa.interprolog.TermModel
 
getRoot() - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getRowCount() - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
getSize() - Method in class com.declarativa.interprolog.gui.TermListModel
 
getTemplate() - Method in class com.declarativa.interprolog.TermModel
Return a Node(_,..._) String
getTimestamp() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getTimestamp() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getValueAt(int, int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
guiExamples() - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 

H

handleCallback(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Handling of javaMessages and deterministicGoals.
hasEnded() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
hasEnded() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
hasListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
hasStarted() - Method in class com.declarativa.interprolog.util.GoalToExecute
 

I

IPAbortedException - exception com.declarativa.interprolog.util.IPAbortedException.
An Exception thrown when Prolog is aborted
IPAbortedException(String) - Constructor for class com.declarativa.interprolog.util.IPAbortedException
 
IPClassObject - class com.declarativa.interprolog.util.IPClassObject.
Represents a Java class object; avoids the need to use a full blown object specifier for the real Java class object (a Class instance) on the Prolog side, by relying on the Java call-back mechanism to interpret the contents of this object at callback time
IPClassObject(String) - Constructor for class com.declarativa.interprolog.util.IPClassObject
 
IPClassVariable - class com.declarativa.interprolog.util.IPClassVariable.
Represents a Java class variable; allow the Prolog side to conveniently refer any class variable
IPClassVariable(String, String) - Constructor for class com.declarativa.interprolog.util.IPClassVariable
 
IPException - exception com.declarativa.interprolog.util.IPException.
An Exception related to Prolog processing in general
IPException(String) - Constructor for class com.declarativa.interprolog.util.IPException
 
IPException(String, Throwable) - Constructor for class com.declarativa.interprolog.util.IPException
 
IPInterruptedException - exception com.declarativa.interprolog.util.IPInterruptedException.
An Exception thrown when Prolog is interrupted
IPInterruptedException(String) - Constructor for class com.declarativa.interprolog.util.IPInterruptedException
 
IPPrologError - exception com.declarativa.interprolog.util.IPPrologError.
An Exception originated by a Prolog error
IPPrologError(Object) - Constructor for class com.declarativa.interprolog.util.IPPrologError
 
InvisibleObject - class com.declarativa.interprolog.util.InvisibleObject.
Instances represent objects which are not serialized to/from Prolog, and that are kept in a table by a Prolog engine
InvisibleObject(int) - Constructor for class com.declarativa.interprolog.util.InvisibleObject
 
instanceOfWrapper(Object) - Static method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
intValue() - Method in class com.declarativa.interprolog.TermModel
Returns node object as an int, assuming it is a Number
interprologFilename() - Method in class com.declarativa.interprolog.GNUPeer
 
interprologFilename() - Method in class com.declarativa.interprolog.PrologImplementationPeer
Returns the path for the Prolog file that must be loaded for InterProlog to function, USING '/' AS THE SEPARATION CHARACTER independently of the OS platform
interprologFilename() - Method in class com.declarativa.interprolog.SWIPeer
 
interprologFilename() - Method in class com.declarativa.interprolog.XSBPeer
 
interprologFilename() - Method in class com.declarativa.interprolog.YAPPeer
 
interrupt() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Interrupt Prolog and make it return to its top level.
interrupt() - Method in interface com.declarativa.interprolog.PrologEngine
Interrupt Prolog and make it return to its top level.
interrupt() - Method in class com.declarativa.interprolog.util.GoalToExecute
Used on the InterProlog Java side to "cascade" an interrupt over pending goals to execute
interruptTasks() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Do not invoke this.
interrupting - Variable in class com.declarativa.interprolog.AbstractPrologEngine
Prolog is handling an interrupt
isAtom() - Method in class com.declarativa.interprolog.TermModel
 
isAvailable() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Present implementation is always available, so this always returns true.
isAvailable() - Method in interface com.declarativa.interprolog.PrologEngine
Returns a boolean value indicating whether the engine is available (that is, ready to accept requests).
isAvailable() - Method in class com.declarativa.interprolog.SubprocessEngine
Prolog is thought to be idle
isCellEditable(int, int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
isDebug() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Debug messages are being written, both Java and Prolog side, cf. ipIsDebugging/0
isDebug() - Method in interface com.declarativa.interprolog.PrologEngine
Debug messages are being written, both Java and Prolog side, cf. ipIsDebugging/0
isFirstGoal() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
isIdle() - Method in class com.declarativa.interprolog.AbstractPrologEngine
The engine is doing nothing: no pending Prolog goals nor Java callbacks
isIdle() - Method in interface com.declarativa.interprolog.PrologEngine
This method returns true if this engine is idle (doing nothing: no pending Prolog goals nor Java callbacks), false otherwise.
isInteger() - Method in class com.declarativa.interprolog.TermModel
 
isInterrupt(Object) - Method in class com.declarativa.interprolog.GNUPeer
 
isInterrupt(Object) - Method in class com.declarativa.interprolog.PrologImplementationPeer
True if an error, as obtained in a ResultFromProlog object, looks like an interrupt detection on the Prolog side, cf. predicate handleDeterministicGoal in interprolog.P/pl/etc. resultError is not null
isInterrupt(Object) - Method in class com.declarativa.interprolog.SWIPeer
 
isInterrupt(Object) - Method in class com.declarativa.interprolog.XSBPeer
 
isInterrupt(Object) - Method in class com.declarativa.interprolog.YAPPeer
 
isLeaf(Object) - Method in class com.declarativa.interprolog.TermModel
 
isLeaf() - Method in class com.declarativa.interprolog.TermModel
 
isLeaf(Object) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
isList() - Method in class com.declarativa.interprolog.TermModel
May be an empty list
isListEnd() - Method in class com.declarativa.interprolog.TermModel
 
isMacOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
isNumber() - Method in class com.declarativa.interprolog.TermModel
 
isRoot() - Method in class com.declarativa.interprolog.TermModel
This node is its own root
isShutingDown() - Method in class com.declarativa.interprolog.AbstractPrologEngine
The engine is in the process of shuting down
isVar() - Method in class com.declarativa.interprolog.TermModel
 
isWindowsOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 

K

kickThread1() - Method in class com.declarativa.interprolog.PrologEngineTest
 

L

ListenerWindow - class com.declarativa.interprolog.gui.ListenerWindow.
A simple Prolog listener, with a consult menu and an history mechanism.
ListenerWindow(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.gui.ListenerWindow
 
ListenerWindow(AbstractPrologEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.ListenerWindow
 
listMaxLength - Static variable in class com.declarativa.interprolog.TermModel
 
listToString(PrologOperatorsContext) - Method in class com.declarativa.interprolog.TermModel
 
loadFromJar - Static variable in class com.declarativa.interprolog.gui.ListenerWindow
 
loadTestFile() - Method in class com.declarativa.interprolog.PrologEngineTest
 
load_dynRelative(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
load_dynRelative(String, Object) - Method in interface com.declarativa.interprolog.PrologEngine
 
luckyNumber() - Method in class com.declarativa.interprolog.PrologEngineTest
 

M

MAX_INT_VALUE - Static variable in interface com.declarativa.interprolog.PrologEngine
Maximum integer value in any supported Prolog.
MIN_INT_VALUE - Static variable in interface com.declarativa.interprolog.PrologEngine
Minimum integer value.
MessageExecuting - class com.declarativa.interprolog.util.MessageExecuting.
Object to help coordinate a javaMessage execution in the Java side.
MessageExecuting(MessageFromProlog, AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.util.MessageExecuting
 
MessageFromProlog - class com.declarativa.interprolog.util.MessageFromProlog.
Represents a message from Prolog, performed by predicate javaMessage
MessageFromProlog() - Constructor for class com.declarativa.interprolog.util.MessageFromProlog
 
main(String[]) - Static method in class com.declarativa.interprolog.AllTests
 
main(String[]) - Static method in class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow
Useful for launching the system, by passing the full Prolog executable path and optionally extra arguments, that are passed to the Prolog command
main(String[]) - Static method in class com.declarativa.interprolog.gui.SWISubprocessEngineWindow
Useful for launching the system, by passing the full Prolog executable path and optionally extra arguments, that are passed to the Prolog command
main(String[]) - Static method in class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
Useful for launching the system, by passing the full Prolog executable path and optionally extra arguments, that are passed to the Prolog command
main(String[]) - Static method in class com.declarativa.interprolog.gui.YAPSubprocessEngineWindow
Useful for launching the system, by passing the full Prolog executable path and optionally extra arguments, that are passed to the Prolog command
main(String[]) - Static method in class com.xsb.interprolog.NativeEngineWindow
Useful for launching the system, by passing the full Prolog directory path and optionally extra arguments, that are passed to the Prolog command
makeBreakRecognizer() - Method in class com.declarativa.interprolog.GNUPeer
 
makeBreakRecognizer() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
makeBreakRecognizer() - Method in class com.declarativa.interprolog.SWIPeer
 
makeBreakRecognizer() - Method in class com.declarativa.interprolog.XSBPeer
 
makeBreakRecognizer() - Method in class com.declarativa.interprolog.YAPPeer
 
makeIntegerVector() - Method in class com.declarativa.interprolog.TermModel
Assuming this is a list of numbers, returns a Vector containing one Integer for each number in the list
makeInvisible(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Register an object with this Engine, so it later can be referred from Prolog without serializing it, and returns an InvisibleObject encapsulating the reference.
makeInvisible(Object) - Method in interface com.declarativa.interprolog.PrologEngine
Register an object with this Engine, so it later can be referred from Prolog without serializing it, and returns an InvisibleObject encapsulating the reference.
makeInvisible(Object) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
makeList(TermModel[]) - Static method in class com.declarativa.interprolog.TermModel
 
makeList(Vector) - Static method in class com.declarativa.interprolog.TermModel
 
makePromptRecognizer() - Method in class com.declarativa.interprolog.GNUPeer
 
makePromptRecognizer() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
makePromptRecognizer() - Method in class com.declarativa.interprolog.SWIPeer
 
makePromptRecognizer() - Method in class com.declarativa.interprolog.XSBPeer
 
makePromptRecognizer() - Method in class com.declarativa.interprolog.YAPPeer
 
method1() - Method in class com.xsb.interprolog.NativeEngineTest.DGClient
 
method2() - Method in class com.xsb.interprolog.NativeEngineTest.DGClient
 
methodName - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 

N

NativeEngine - class com.xsb.interprolog.NativeEngine.
A XSB PrologEngine implemented using the Java Native Interface.
NativeEngine() - Constructor for class com.xsb.interprolog.NativeEngine
 
NativeEngine(String) - Constructor for class com.xsb.interprolog.NativeEngine
 
NativeEngine(String, boolean) - Constructor for class com.xsb.interprolog.NativeEngine
 
NativeEngine(String, boolean, boolean) - Constructor for class com.xsb.interprolog.NativeEngine
 
NativeEngine(String, String[], boolean, boolean) - Constructor for class com.xsb.interprolog.NativeEngine
The XSB dll must be in a directory mentioned in the java.library.path property (e.g., Windows PATH) so the Java loader finds it.
NativeEngineTest - class com.xsb.interprolog.NativeEngineTest.
 
NativeEngineTest(String) - Constructor for class com.xsb.interprolog.NativeEngineTest
 
NativeEngineTest.DGClient - class com.xsb.interprolog.NativeEngineTest.DGClient.
 
NativeEngineWindow - class com.xsb.interprolog.NativeEngineWindow.
A ListenerWindow for a NativeEngine
NativeEngineWindow(NativeEngine) - Constructor for class com.xsb.interprolog.NativeEngineWindow
 
NativeEngineWindow(NativeEngine, boolean) - Constructor for class com.xsb.interprolog.NativeEngineWindow
 
nl - Static variable in class com.declarativa.interprolog.AbstractPrologEngine
Convenience for newline
node - Variable in class com.declarativa.interprolog.TermModel
public for convenience, but should not be set outside this class
nodeIsVar() - Method in class com.declarativa.interprolog.TermModel
 
numberListeners() - Method in class com.declarativa.interprolog.util.Recognizer
 

O

ObjectExamplePair - class com.declarativa.interprolog.ObjectExamplePair.
The class wrapping the information that will allow Prolog to later specify Java objects.
ObjectExamplePair(Object) - Constructor for class com.declarativa.interprolog.ObjectExamplePair
 
ObjectExamplePair(String, Object) - Constructor for class com.declarativa.interprolog.ObjectExamplePair
 
ObjectExamplePair(Object, Object) - Constructor for class com.declarativa.interprolog.ObjectExamplePair
 
ObjectExamplePair(String, Object, Object) - Constructor for class com.declarativa.interprolog.ObjectExamplePair
Create an object pair, adequate for later teaching it to a Prolog engine and have this produce an ipObjectSpec fact on the Prolog side.
ObjectRegistry - class com.declarativa.interprolog.util.ObjectRegistry.
Remembers a set of Java objects, allowing access to them by an (integer) ID
ObjectRegistry() - Constructor for class com.declarativa.interprolog.util.ObjectRegistry
 
OutputHandler - class com.declarativa.interprolog.util.OutputHandler.
An object consuming input from a stream, analysing it and sending messages to a list of OutputListener objects; if a debugStream is provided it gets a copy of all the input read
OutputHandler(InputStream, OutputStream, String) - Constructor for class com.declarativa.interprolog.util.OutputHandler
 
OutputHandler(InputStream, OutputStream) - Constructor for class com.declarativa.interprolog.util.OutputHandler
 
OutputHandler(InputStream) - Constructor for class com.declarativa.interprolog.util.OutputHandler
 
OutputListener - interface com.declarativa.interprolog.util.OutputListener.
Interface by which an OutputHandler client can receive output to analyse

P

PredicateTableModel - class com.declarativa.interprolog.gui.PredicateTableModel.
 
PredicateTableModel(TermModel, TermModel[]) - Constructor for class com.declarativa.interprolog.gui.PredicateTableModel
 
PredicateTableWindow - class com.declarativa.interprolog.gui.PredicateTableWindow.
 
PredicateTableWindow(PredicateTableModel) - Constructor for class com.declarativa.interprolog.gui.PredicateTableWindow
 
PrologEngine - interface com.declarativa.interprolog.PrologEngine.
The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
PrologEngineTest - class com.declarativa.interprolog.PrologEngineTest.
 
PrologEngineTest(String) - Constructor for class com.declarativa.interprolog.PrologEngineTest
 
PrologEngineTest.Loop - class com.declarativa.interprolog.PrologEngineTest.Loop.
 
PrologEngineTest.Loop() - Constructor for class com.declarativa.interprolog.PrologEngineTest.Loop
 
PrologEngineTest.MyClass - class com.declarativa.interprolog.PrologEngineTest.MyClass.
 
PrologEngineTest.MyClass() - Constructor for class com.declarativa.interprolog.PrologEngineTest.MyClass
 
PrologEngineTest.NumberTypes - class com.declarativa.interprolog.PrologEngineTest.NumberTypes.
 
PrologEngineTest.NumberTypes(byte, short, int, float) - Constructor for class com.declarativa.interprolog.PrologEngineTest.NumberTypes
 
PrologEventBroker - class com.declarativa.interprolog.gui.PrologEventBroker.
A PrologEventBroker can listen to ActionEvents, and calls a Prolog goal to handle them.
PrologEventBroker(PrologEngine, String) - Constructor for class com.declarativa.interprolog.gui.PrologEventBroker
 
PrologEventBroker(PrologEngine, Object) - Constructor for class com.declarativa.interprolog.gui.PrologEventBroker
 
PrologEventBroker(PrologEngine) - Constructor for class com.declarativa.interprolog.gui.PrologEventBroker
 
PrologImplementationPeer - class com.declarativa.interprolog.PrologImplementationPeer.
Centers most of the Prolog implementation-dependent information
PrologImplementationPeer() - Constructor for class com.declarativa.interprolog.PrologImplementationPeer
Variant to support only the partial functionality which does not depend on the existence of an engine
PrologImplementationPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.PrologImplementationPeer
 
PrologOperatorsContext - class com.declarativa.interprolog.PrologOperatorsContext.
Represents a set of Prolog operator declarations, to provide TermModel with knowledge for toString().
PrologOutputListener - interface com.declarativa.interprolog.PrologOutputListener.
If you're interested in Prolog's textual output, implement this interface on your class and make your object a listener to a SubprocessEngine
PrologOutputObjectStream - class com.declarativa.interprolog.util.PrologOutputObjectStream.
Vaguely similar to an ObjectOutputStream, but sends the total number of serialized bytes up front, so Prolog can keep grammar and socket reads separate without hanging for input.
PrologOutputObjectStream(OutputStream) - Constructor for class com.declarativa.interprolog.util.PrologOutputObjectStream
 
PrologOutputObjectStream(OutputStream, boolean) - Constructor for class com.declarativa.interprolog.util.PrologOutputObjectStream
 
print(String) - Method in interface com.declarativa.interprolog.PrologOutputListener
Prolog stream output was sent
print(String) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
printBindings(Object[]) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Convenience for debugging deterministicGoal() messages
processDraggedFile(File) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
progressMessage(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Debugging aid
prologBinDirectoryOrCommand - Variable in class com.declarativa.interprolog.AbstractPrologEngine
File path to directory with Prolog machine, or command path, which may have options appended
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Computes the installation directory for the Prolog system, without the trailing separator char
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.GNUPeer
Assumes that Prolog options can not include "/bin/"...
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.SWIPeer
Assumes that Prolog options can not include "/bin/"...
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.XSBPeer
Assumes that Prolog options can not include "/bin/"...
prologBinToBaseDirectory(String) - Method in class com.declarativa.interprolog.YAPPeer
Assumes that Prolog options can not include "/bin/"...
prologInput - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
prologOutput - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
prologStartCommand - Static variable in class com.declarativa.interprolog.gui.ListenerWindow
 
prologWasCalled() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
props2Hashtable(TermModel[]) - Static method in class com.declarativa.interprolog.TermModel
 

R

REGULAR_PROMPT - Static variable in class com.declarativa.interprolog.PrologImplementationPeer
 
Recognizer - class com.declarativa.interprolog.util.Recognizer.
A simple pattern recognizor used in error detection.
Recognizer() - Constructor for class com.declarativa.interprolog.util.Recognizer
 
Recognizer(String) - Constructor for class com.declarativa.interprolog.util.Recognizer
 
Recognizer(String, boolean) - Constructor for class com.declarativa.interprolog.util.Recognizer
 
RecognizerListener - interface com.declarativa.interprolog.util.RecognizerListener.
An object that is notified when a Recognizer detects a string
RelationTreeModel - class com.declarativa.interprolog.gui.RelationTreeModel.
 
RelationTreeModel(PrologEngine, String, Object) - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel
 
RelationTreeModel.BrowseAction - class com.declarativa.interprolog.gui.RelationTreeModel.BrowseAction.
 
RelationTreeModel.BrowseAction(PrologEngine, String, Object) -