Declarativa Declarativa
 

 

Entrada

Produtos

Serviços

Inquiridor
Aplicações internet à medida
Auditoria informática
Subcontratação para I&D

Plataforma de conteúdos

Tecnologia

Web Information Systems
Web Application Maker
InterProlog

A empresa

Apresentação institucional
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) - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel.BrowseAction
 
RelationTreeModel.NodeDescriptionTriple - class com.declarativa.interprolog.gui.RelationTreeModel.NodeDescriptionTriple.
 
RelationTreeModel.NodeDescriptionTriple() - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel.NodeDescriptionTriple
 
ResultFromJava - class com.declarativa.interprolog.util.ResultFromJava.
Used to serialize results for javaMessage
ResultFromJava(int, Object, Object, Object[]) - Constructor for class com.declarativa.interprolog.util.ResultFromJava
 
ResultFromProlog - class com.declarativa.interprolog.util.ResultFromProlog.
Used to serialize results for deterministicGoal
ResultFromProlog(int, boolean, int, Object) - Constructor for class com.declarativa.interprolog.util.ResultFromProlog
 
rVars - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Object array corresponding to the result variable list
realCommand(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Implementation of a simple parameterless Prolog goal; does not support recursive nor multithreaded operation, use command instead
realCommand(String) - Method in class com.declarativa.interprolog.SWISubprocessEngine
 
realCommand(String) - Method in class com.declarativa.interprolog.SubprocessEngine
This implementation may get stuck if the command includes variables, because the Prolog top level interpreter may offer to compute more solutions; use variables prefixed with '_'
realCommand(String) - Method in class com.declarativa.interprolog.YAPSubprocessEngine
 
realCommand(String) - Method in class com.xsb.interprolog.NativeEngine
 
recognized(Recognizer, Object) - Method in interface com.declarativa.interprolog.util.RecognizerListener
 
registerJavaObject(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.
registerJavaObject(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.
registerJavaObject(Object) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
remainingArgs(String[], int) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
removeListDataListener(ListDataListener) - Method in class com.declarativa.interprolog.gui.TermListModel
 
removeOutputListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
removePrologOutputListener(PrologOutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
 
removePrologStderrListener(OutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
 
removePrologStdoutListener(OutputListener) - Method in class com.declarativa.interprolog.SubprocessEngine
 
removeRecognizerListener(RecognizerListener) - Method in class com.declarativa.interprolog.util.Recognizer
 
removeTableModelListener(TableModelListener) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
removeTermModelListener(TermModelListener) - Method in class com.declarativa.interprolog.TermModel
 
removeTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.TermModel
 
removeTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
returnArguments - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
root - Variable in class com.declarativa.interprolog.TermModel
The TermModel containing this; relevant to define variable scope.
run() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
run() - Method in class com.declarativa.interprolog.util.OutputHandler
 
run() - Method in class com.xsb.interprolog.NativeEngineTest.DGClient
 

S

SWIPeer - class com.declarativa.interprolog.SWIPeer.
 
SWIPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.SWIPeer
 
SWISubprocessEngine - class com.declarativa.interprolog.SWISubprocessEngine.
A PrologEngine encapsulating a SWI Prolog engine, accessed over TCP/IP sockets.
SWISubprocessEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine(String, boolean) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine(String) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine() - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngineTest - class com.declarativa.interprolog.SWISubprocessEngineTest.
 
SWISubprocessEngineTest(String) - Constructor for class com.declarativa.interprolog.SWISubprocessEngineTest
 
SWISubprocessEngineWindow - class com.declarativa.interprolog.gui.SWISubprocessEngineWindow.
 
SWISubprocessEngineWindow(SWISubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.SWISubprocessEngineWindow
 
SWISubprocessEngineWindow(SWISubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.SWISubprocessEngineWindow
 
SubprocessEngine - class com.declarativa.interprolog.SubprocessEngine.
A PrologEngine implemented over TCP/IP sockets.
SubprocessEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.SubprocessEngine
Construct a SubprocessEngine, launching a Prolog process in background.
SubprocessEngine(String, boolean) - Constructor for class com.declarativa.interprolog.SubprocessEngine
 
SubprocessEngine(String) - Constructor for class com.declarativa.interprolog.SubprocessEngine
 
SubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.SubprocessEngine
 
SubprocessEngine() - Constructor for class com.declarativa.interprolog.SubprocessEngine
 
SubprocessEngineTest - class com.declarativa.interprolog.SubprocessEngineTest.
 
SubprocessEngineTest(String) - Constructor for class com.declarativa.interprolog.SubprocessEngineTest
 
SubprocessEngineWindow - class com.declarativa.interprolog.gui.SubprocessEngineWindow.
A ListenerWindow for a SubprocessEngine.
SubprocessEngineWindow(SubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
SubprocessEngineWindow(SubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
scrollToBottom() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
sendAndFlush(String) - Method in class com.declarativa.interprolog.SubprocessEngine
Sends a String to Prolog's input.
sendAndFlushLn(String) - Method in class com.declarativa.interprolog.SubprocessEngine
 
sendToProlog() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
sendToProlog() - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
sendToProlog() - Method in class com.xsb.interprolog.NativeEngineWindow
 
setChild(int, TermModel) - Method in class com.declarativa.interprolog.TermModel
Set the child, notifying TermModelListeners
setChildren(TermModel[]) - Method in class com.declarativa.interprolog.TermModel
Set the children array, notifying TermModelListeners
setDebug(boolean) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Show (or hide) debug messages, both Java and Prolog side, cf. ipIsDebugging/0.
setDebug(boolean) - Method in interface com.declarativa.interprolog.PrologEngine
Show (or hide) debug messages, both Java and Prolog side, cf. ipIsDebugging/0.
setDebug(boolean) - Method in class com.declarativa.interprolog.SubprocessEngine
 
setDebug(boolean) - Method in class com.xsb.interprolog.NativeEngine
 
setDebugStream(OutputStream) - Method in class com.declarativa.interprolog.util.OutputHandler
 
setFirstGoalStatus() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
setIgnoreStreamEnd(boolean) - Method in class com.declarativa.interprolog.util.OutputHandler
 
setNodeValue(Object) - Method in class com.declarativa.interprolog.TermModel
Set the node, notifying TermModelListeners
setResult(ResultFromProlog) - Method in class com.declarativa.interprolog.util.GoalToExecute
 
setRoot() - Method in class com.declarativa.interprolog.TermModel
Set the root variables of nodes in this subterm to refer this term node as their root
setRoot(TermModel) - Method in class com.declarativa.interprolog.TermModel
Set the root variables of nodes in this subterm to refer r as their root
setThreadedCallbacks(boolean) - Method in class com.declarativa.interprolog.AbstractPrologEngine
If true, the Java execution of javaMessage predicates will happen in new threads (default); if false, execution will be under the thread of the deterministicGoal currently executing in Prolog
setThreadedCallbacks(boolean) - Method in interface com.declarativa.interprolog.PrologEngine
If true, the Java execution of javaMessage predicates will happen in new threads (default); if false, execution will be under the thread of the deterministicGoal currently executing in Prolog
setValueAt(Object, int, int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
shortClassName(Class) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Returns just the name of the class, with no package information.
shutdown() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Release Prolog engine resources, making it unusable
shutdown() - Method in interface com.declarativa.interprolog.PrologEngine
Release Prolog engine resources, making it unusable
shutdown() - Method in class com.declarativa.interprolog.SubprocessEngine
Shuts down the background Prolog process as well as the dependent Java threads.
shutdown() - Method in class com.xsb.interprolog.NativeEngine
 
size() - Method in class com.declarativa.interprolog.util.PrologOutputObjectStream
 
somaN(int) - Method in class com.declarativa.interprolog.PrologEngineTest
 
someTerms() - Method in class com.declarativa.interprolog.PrologEngineTest
 
streamEnded() - Method in interface com.declarativa.interprolog.util.OutputListener
 
streamEnded() - Method in class com.declarativa.interprolog.util.Recognizer
 
succeeded - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Goal has succeeded
successfulCommand(String) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
suite() - Static method in class com.declarativa.interprolog.AllTests
 

T

TermListModel - class com.declarativa.interprolog.gui.TermListModel.
The Swing model to support a JList displaying Prolog terms
TermListModel(TermModel[]) - Constructor for class com.declarativa.interprolog.gui.TermListModel
 
TermListWindow - class com.declarativa.interprolog.gui.TermListWindow.
Displays a list of Prolog terms
TermListWindow(TermListModel) - Constructor for class com.declarativa.interprolog.gui.TermListWindow
 
TermModel - class com.declarativa.interprolog.TermModel.
Represents a Prolog term, as a tree of TermModel objects, each containing a term node and a children list.
TermModel() - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(Object) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(Object, TermModel[]) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(Object, boolean) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(Object, TermModel[], boolean) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(int) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModel(Object, Vector) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModelListener - interface com.declarativa.interprolog.TermModelListener.
If you're interested in knowing that a (Java) term representation has changed implement this.
TermModelWindow - class com.declarativa.interprolog.gui.TermModelWindow.
Displays a Prolog term, using a JTree
TermModelWindow(TermModel) - Constructor for class com.declarativa.interprolog.gui.TermModelWindow
 
TermModelWindow(TermModel, PrologEngine) - Constructor for class com.declarativa.interprolog.gui.TermModelWindow
 
TermTreeModel - class com.declarativa.interprolog.gui.TermTreeModel.
Swing model for a multiple-pane hierarchical browser, defined by a Prolog tree
TermTreeModel(TermModel, TermTreeModel[]) - Constructor for class com.declarativa.interprolog.gui.TermTreeModel
 
TermTreePane - class com.declarativa.interprolog.gui.TermTreePane.
 
TermTreeWindow - class com.declarativa.interprolog.gui.TermTreeWindow.
Shows a multiple-pane hierarchical browser, defined by a Prolog tree
TermTreeWindow(TermTreeModel) - Constructor for class com.declarativa.interprolog.gui.TermTreeWindow
 
TermTreeWindow(TermTreeModel, Object[]) - Constructor for class com.declarativa.interprolog.gui.TermTreeWindow
 
target - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
teachMoreObjects(Object[]) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Same as #teachMoreObjects(ObjectExamplePair[]), but example pairs are constructed with (2) repeated examples for each object
teachMoreObjects(ObjectExamplePair[]) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Send an array of object example pairs to Prolog and generate ipObjectSpec facts.
teachMoreObjects(ObjectExamplePair) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
teachMoreObjects(Object[]) - Method in interface com.declarativa.interprolog.PrologEngine
Same as #teachMoreObjects(ObjectExamplePair[]), but example pairs are constructed with (2) repeated examples for each object.
teachMoreObjects(ObjectExamplePair[]) - Method in interface com.declarativa.interprolog.PrologEngine
Send an array of object example pairs to Prolog and generate ipObjectSpec facts.
teachOneObject(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Same as #teachMoreObjects(ObjectExamplePair[]), but the single example pair is constructed repeating the object
teachOneObject(Object) - Method in interface com.declarativa.interprolog.PrologEngine
Same as #teachMoreObjects(ObjectExamplePair[]), but the single example pair is constructed repeating the object.
termChanged(TermModel) - Method in interface com.declarativa.interprolog.TermModelListener
 
testAutoTermModel() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testBlockdataSerialization1() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testBlockdataSerialization2() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testBuildTermModel() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testDG2() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testDeterministicGoal() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testDeterministicGoal() - Method in class com.declarativa.interprolog.SubprocessEngineTest
 
testFactorial() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testFibonaci() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testGetRealJavaObject() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testIPobjects() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testJavaMessage() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testJavaThreads() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testLoops() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testManyEngines() - Method in class com.declarativa.interprolog.SubprocessEngineTest
 
testMultipleThreads() - Method in class com.xsb.interprolog.NativeEngineTest
 
testNativeEngine() - Method in class com.xsb.interprolog.NativeEngineTest
 
testNewInterrupt() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testNewInterrupt() - Method in class com.declarativa.interprolog.YAPSubprocessEngineTest
 
testNumbers() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testNumbers() - Method in class com.declarativa.interprolog.XSBSubprocessEngineTest
 
testNumbers() - Method in class com.xsb.interprolog.XSBNativeEngineTest
 
testNumbers2() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testNumbers2() - Method in class com.declarativa.interprolog.XSBSubprocessEngineTest
 
testNumbers2() - Method in class com.xsb.interprolog.XSBNativeEngineTest
 
testOutputListening() - Method in class com.declarativa.interprolog.SubprocessEngineTest
 
testPrologInstallDir() - Method in class com.declarativa.interprolog.XSBSubprocessEngineTest
 
testPrototypeStuff() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testSomaN() - Method in class com.declarativa.interprolog.PrologEngineTest
 
testStrangeChar() - Method in class com.declarativa.interprolog.PrologEngineTest
 
timestamp - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
timestamp - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Same as passed in GoalFromJava
toString() - Method in class com.declarativa.interprolog.ObjectExamplePair
 
toString() - Method in class com.declarativa.interprolog.PrologEngineTest.NumberTypes
 
toString() - Method in class com.declarativa.interprolog.TermModel
 
toString(PrologOperatorsContext) - Method in class com.declarativa.interprolog.TermModel
 
toString(PrologEngine) - Method in class com.declarativa.interprolog.TermModel
 
toString() - Method in class com.declarativa.interprolog.XSBSubprocessEngineTest.ConfigurationItem
 
toString() - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
toString() - Method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
toString() - Method in class com.declarativa.interprolog.util.GoalFromJava
 
toString() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
toString() - Method in class com.declarativa.interprolog.util.IPClassObject
 
toString() - Method in class com.declarativa.interprolog.util.IPClassVariable
 
toString() - Method in class com.declarativa.interprolog.util.IPPrologError
 
toString() - Method in class com.declarativa.interprolog.util.InvisibleObject
 
toString() - Method in class com.declarativa.interprolog.util.MessageFromProlog
 
toString() - Method in class com.declarativa.interprolog.util.Recognizer
 
toString() - Method in class com.declarativa.interprolog.util.ResultFromJava
 
toString() - Method in class com.declarativa.interprolog.util.ResultFromProlog
 
toString() - Method in class com.declarativa.interprolog.util.VariableNode
 

U

unescapedFilePath(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Some Prologs use '\' as an escape character in atoms, which can affect file paths under Windows.
unescapedFilePath(String) - Method in class com.declarativa.interprolog.GNUPeer
 
unescapedFilePath(String) - Method in class com.declarativa.interprolog.PrologImplementationPeer
Some Prologs use '\' as an escape character in atoms, which can affect file paths under Windows.
unescapedFilePath(String) - Method in class com.declarativa.interprolog.SWIPeer
 
unescapedFilePath(String) - Method in class com.declarativa.interprolog.YAPPeer
 
unifies(TermModel) - Method in class com.declarativa.interprolog.TermModel
Returns true if the term is (would be) unifiable with this.
unregisterJavaObject(int) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Removes reference to the object from the registry.
unregisterJavaObject(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Removes reference to the object from the registry.
unregisterJavaObject(int) - Method in interface com.declarativa.interprolog.PrologEngine
Removes reference to the object from the registry.
unregisterJavaObject(Object) - Method in interface com.declarativa.interprolog.PrologEngine
Removes reference to the object from the registry.
unregisterJavaObject(int) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
unregisterJavaObject(Object) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
unregisterJavaObjects(Class) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Removes references to objects of class cls from the registry.
unregisterJavaObjects(Class) - Method in interface com.declarativa.interprolog.PrologEngine
Removes references to objects of class cls from the registry.
unregisterJavaObjects(Class) - Method in class com.declarativa.interprolog.util.ObjectRegistry
 

V

VariableNode - class com.declarativa.interprolog.util.VariableNode.
TermModel node for a free Prolog variable.
valueForPathChanged(TreePath, Object) - Method in class com.declarativa.interprolog.TermModel
 
valueForPathChanged(TreePath, Object) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
variableName - Variable in class com.declarativa.interprolog.util.IPClassVariable
 
version - Static variable in interface com.declarativa.interprolog.PrologEngine
InterProlog version
visualizationFilename() - Method in class com.declarativa.interprolog.GNUPeer
 
visualizationFilename() - Method in class com.declarativa.interprolog.PrologImplementationPeer
Returns the path for the Prolog file that must be loaded for InterProlog's visualization predicates to function, typically in the context of using a ListenerWindow.
visualizationFilename() - Method in class com.declarativa.interprolog.SWIPeer
 
visualizationFilename() - Method in class com.declarativa.interprolog.XSBPeer
 
visualizationFilename() - Method in class com.declarativa.interprolog.YAPPeer
 

W

waitForResult() - Method in class com.declarativa.interprolog.util.GoalToExecute
Obtain result for a Prolog goal, blocking until it is available; meanwhile it will execute Runnables if so requested
waitUntilAvailable() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
waitUntilAvailable() - Method in interface com.declarativa.interprolog.PrologEngine
This method blocks until isAvailable() returns true.
waitUntilIdle() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Sleeps the current Java thread until this engine is idle.
waitUntilIdle() - Method in interface com.declarativa.interprolog.PrologEngine
This method blocks until isIdle() returns true.
wasAborted() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
wasInterrupted() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
wasInterrupted(AbstractPrologEngine) - Method in class com.declarativa.interprolog.util.ResultFromProlog
Prolog complaining about being interrupted.
windowActivated(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowClosed(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowClosing(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowDeactivated(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowDeiconified(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowIconified(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
windowOpened(WindowEvent) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
wrapper - Variable in class com.declarativa.interprolog.util.BasicTypeWrapper
 
writeObject(Object) - Method in class com.declarativa.interprolog.util.PrologOutputObjectStream
 

X

XSBNativeEngineTest - class com.xsb.interprolog.XSBNativeEngineTest.
 
XSBNativeEngineTest(String) - Constructor for class com.xsb.interprolog.XSBNativeEngineTest
 
XSBPeer - class com.declarativa.interprolog.XSBPeer.
 
XSBPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.XSBPeer
 
XSBSubprocessEngine - class com.declarativa.interprolog.XSBSubprocessEngine.
A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets.
XSBSubprocessEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
XSBSubprocessEngine(String, boolean) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
XSBSubprocessEngine(String) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
XSBSubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
XSBSubprocessEngine() - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
XSBSubprocessEngineTest - class com.declarativa.interprolog.XSBSubprocessEngineTest.
 
XSBSubprocessEngineTest(String) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngineTest
 
XSBSubprocessEngineTest.ConfigurationItem - class com.declarativa.interprolog.XSBSubprocessEngineTest.ConfigurationItem.
 
XSBSubprocessEngineTest.ConfigurationItem() - Constructor for class com.declarativa.interprolog.XSBSubprocessEngineTest.ConfigurationItem
 
XSBSubprocessEngineWindow - class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow.
 
XSBSubprocessEngineWindow(XSBSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
 
XSBSubprocessEngineWindow(XSBSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
 
XSBTableModel - class com.declarativa.interprolog.gui.XSBTableModel.
Swing model for full contents of a XSB table
XSBTableModel(TermModel, TermTreeModel[], String) - Constructor for class com.declarativa.interprolog.gui.XSBTableModel
 
XSBTableWindow - class com.declarativa.interprolog.gui.XSBTableWindow.
Shows a XSB Prolog table
XSBTableWindow(XSBTableModel, Object[]) - Constructor for class com.declarativa.interprolog.gui.XSBTableWindow
 

Y

YAPPeer - class com.declarativa.interprolog.YAPPeer.
 
YAPPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.YAPPeer
 
YAPSubprocessEngine - class com.declarativa.interprolog.YAPSubprocessEngine.
A PrologEngine encapsulating a YAP Prolog engine, accessed over TCP/IP sockets.
YAPSubprocessEngine(String, boolean, boolean) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
YAPSubprocessEngine(String, boolean) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
YAPSubprocessEngine(String) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
YAPSubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
YAPSubprocessEngine() - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
YAPSubprocessEngineTest - class com.declarativa.interprolog.YAPSubprocessEngineTest.
 
YAPSubprocessEngineTest(String) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngineTest
 
YAPSubprocessEngineWindow - class com.declarativa.interprolog.gui.YAPSubprocessEngineWindow.
 
YAPSubprocessEngineWindow(YAPSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.YAPSubprocessEngineWindow
 
YAPSubprocessEngineWindow(YAPSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.YAPSubprocessEngineWindow
 

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


 Declarativa - Serviços de Informática, Lda.
  www.declarativa.com, info@declarativa.com  fax: +351-22-030-1511  tel: +351-22-030-1580
UPTEC - Parque de Ciência e Tecnologia da Universidade do Porto (GoogleMap)
Rua Actor Ferreira da Silva 100 4200-298 Porto Portugal