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

A

abort() - Method in class com.declarativa.interprolog.util.GoalToExecute
Used on the InterProlog Java side to "cascade" an abort over pending goals to execute
abortEngine() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Assumes the engine is in a break state
abortEngine() - Method in class com.declarativa.interprolog.GNUSubprocessEngine
Assumes the engine is in a (tracer) break state
abortEngine() - Method in class com.declarativa.interprolog.SubprocessEngine
Assumes the engine is in a break state
abortEngine() - Method in class com.declarativa.interprolog.SWISubprocessEngine
Assumes the engine is in a (tracer) break state
abortEngine() - Method in class com.declarativa.interprolog.YAPSubprocessEngine
Assumes the engine is in a (tracer) break state
abortTasks() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Do not invoke this.
AbstractNativeEngine - Class in com.xsb.interprolog
A PrologEngine implemented using the Java Native Interface.
AbstractNativeEngine(String, boolean, boolean) - Constructor for class com.xsb.interprolog.AbstractNativeEngine
 
AbstractPrologEngine - Class in com.declarativa.interprolog
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.
actionPerformed(ActionEvent) - Method in class com.declarativa.interprolog.gui.PrologEventBroker
 
actionPerformed(ActionEvent) - Method in class com.declarativa.interprolog.gui.RelationTreeModel.BrowseAction
 
add_lib_dir(File) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Adds a directory to Prolog's library search paths
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
addField(JTextComponent) - Method in class com.declarativa.interprolog.gui.CommandHistory
 
addItemToMenu(JMenu, String, ActionListener) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
addItemToMenu(JMenu, String, int, ActionListener) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
accelerator requires the command (Mac) or ctrl (other systems) modifier
addItemToMenu(JPopupMenu, String, int, ActionListener) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
accelerator requires the command (Mac) or ctrl (other systems) modifier
addItemToMenu(JPopupMenu, String, ActionListener) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
addListDataListener(ListDataListener) - Method in class com.declarativa.interprolog.gui.TermListModel
 
addMenuAndField(JMenu, int, JTextComponent) - Method in class com.declarativa.interprolog.gui.CommandHistory
Registers a text field and a menu; text may already be known here, but menu must not
addOutputListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
addPrologEngineListener(PrologEngineListener) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
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
 
addSoftwareLibrary(File) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Add a jar to the runtime classpath Grabbed from http://stackoverflow.com/questions/1010919/adding-files-to-java-classpath-at-runtime?answertab=active#tab-top
addSoftwareLibrary(String) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
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.
addToHistory(String) - Method in class com.declarativa.interprolog.gui.CommandHistory
 
addTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
addTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.TermModel
 
addWindowsMenuTo(Container) - Method in class com.declarativa.interprolog.gui.ListenerWindow
This method does nothing.
adjustmentValueChanged(AdjustmentEvent) - Method in class com.declarativa.interprolog.gui.SmartScroller
 
alternativePrologExtensions(String) - Method in class com.declarativa.interprolog.GNUPeer
No support for SWI (q)saved states
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, String, Charset) - Method in interface com.declarativa.interprolog.util.OutputListener
nBytes new output bytes are in buffer to analyse
analyseBytes(byte[], int, String, Charset) - Method in class com.declarativa.interprolog.util.Recognizer
 
append(String, Style) - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
append(String) - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
appendOutputTextRuns(String) - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
arguments - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
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.
assignableType(Class<?>, Class<?>) - Static method in class com.declarativa.interprolog.util.JavaLangUtils
It is OK to assign an expression typed right to a variable typed left.
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
attributesToTooltip(AttributeSet) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
attributesToTooltip(AttributeSet) - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
availabilityChanged(AbstractPrologEngine) - Method in class com.declarativa.interprolog.EngineController
In addition to being messaged by the engine, this method also gets called by this controller when entering/leave pause
availabilityChanged(AbstractPrologEngine) - Method in interface com.declarativa.interprolog.PrologEngineListener
The value of isAvailable() has changed.

B

BackEnd - Class in com.declarativa.interprolog.examples
 
BackEnd() - Constructor for class com.declarativa.interprolog.examples.BackEnd
 
BackEnd.Record - Class in com.declarativa.interprolog.examples
 
basicTypeClass() - Method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
BasicTypeWrapper - Class in com.declarativa.interprolog.util
A class used to serialize basic type values (int, boolean,...).
BasicTypeWrapper(Object) - Constructor for class com.declarativa.interprolog.util.BasicTypeWrapper
 
beep() - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
bigArray - Static variable in class com.declarativa.interprolog.examples.DataSourceExample
 
breakEngine() - Method in class com.declarativa.interprolog.SubprocessEngine
Pause the computation and enter a break (sub shell) state
BrowseAction(PrologEngine, String, Object) - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel.BrowseAction
 
browseRelation(PrologEngine, String, Object) - Static method in class com.declarativa.interprolog.gui.RelationTreeModel
 

C

cancel() - Method in class com.declarativa.interprolog.SolutionIterator
terminates the non deterministic goal that returned this iterator, without finding more solutions
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.IPClassObject
 
className - Variable in class com.declarativa.interprolog.util.IPClassVariable
 
clear() - Method in class com.declarativa.interprolog.gui.CommandHistory
 
clear() - Method in class com.declarativa.interprolog.util.ObjectRegistry
 
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
close() - Method in class com.declarativa.interprolog.SubprocessEngine.OutputDumper
 
com.declarativa.interprolog - package com.declarativa.interprolog
 
com.declarativa.interprolog.examples - package com.declarativa.interprolog.examples
 
com.declarativa.interprolog.gui - package com.declarativa.interprolog.gui
 
com.declarativa.interprolog.remote - package com.declarativa.interprolog.remote
 
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"; except until the basic InterProlog is loaded, this in fact delegates to deterministicGoal, which synchronizes at the end and returns a reliable result.
command(ArrayList<String>) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
command(String[]) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
command(String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Execute a Prolog "command; returns true if it succeeds"
command(String) - Method in interface com.declarativa.interprolog.PrologEngine
Execute a Prolog "command".
commandArgs(String[]) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
CommandHistory - Class in com.declarativa.interprolog.gui
An up/down key event handler which implements a simple field command history, optionally updating a menu.
CommandHistory() - Constructor for class com.declarativa.interprolog.gui.CommandHistory
 
CommandHistory(File) - Constructor for class com.declarativa.interprolog.gui.CommandHistory
A CommamdHistory which will persist in a text file, as long the application sends us a save() before exiting.
commentChar(int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specified that the character argument starts a single-line comment.
commonGreeting() - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
commonMain(String[]) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
CompactIterator - Class in com.declarativa.interprolog.util
A wrapper for an Iterator, to use a single call - Object next() - to obtain the ennumeration.
CompactIterator(Iterator) - Constructor for class com.declarativa.interprolog.util.CompactIterator
 
consultAbsolute(File) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Consults a Prolog file
consultAbsolute(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
consultAbsolute(File) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
\\load a Flora (into main module) or Prolog file
consultAbsolute(File) - Method in interface com.declarativa.interprolog.PrologEngine
Consults a Prolog file
consultFloraAbsolute(File, String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
\\load a Flora file into a specific module.
consultFloraFromPackage(String, Object) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
consultFloraFromPackage(String, String, Object) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
consultFromPackage(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
consultFromPackage(String, Object, boolean) - 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 reconsult it.
consultFromPackage(String, Object) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Same as superclass, but also accepts a Flora file, which is loaded into module 'main'
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 reconsult it.
consultFromPackage(String, Object, boolean) - Method in interface com.declarativa.interprolog.PrologEngine
Subsequent calls will be ignored
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.
containsDot() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
If the current token is a number, reveals whether it has a decimal dot in it
copyAndCountLines() - Method in class com.declarativa.interprolog.examples.FileProcessor
 
copyAsRTF() - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
createTempDirectory() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Create a new temporary directory
ctrl_c - Static variable in class com.declarativa.interprolog.SubprocessEngine
 
ctrlc - Static variable in class com.declarativa.interprolog.SubprocessEngine
 
currentTimeSecs() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
cycleHook(int, TermModel[], TermModel[]) - Method in class com.declarativa.interprolog.LPSEngine
 

D

DataSourceExample - Class in com.declarativa.interprolog.examples
An array and an ArrayList of TermModel to feed some tutorial examples
DataSourceExample() - Constructor for class com.declarativa.interprolog.examples.DataSourceExample
 
debug - Static variable in class com.declarativa.interprolog.gui.ListenerWindow
 
deflate() - Method in class com.declarativa.interprolog.InitiallyFlatTermModel
rebuilds field canonicalTerm and nullifies node and children, so that the term looses its tree and becomes ready for quicker serialization; unfortunately this method must be invoked explicitly...
deleteAll(File) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
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 ==.
deleteTempFiles() - Method in class com.declarativa.interprolog.AbstractPrologEngine
If you don't trust the Java VM to execute earlier "deleteOnExit", call this
destroy() - Method in class com.declarativa.interprolog.TermModel
 
destroy(TermModel[]) - Static method in class com.declarativa.interprolog.TermModel
 
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
 
deterministicGoalJSON(String, int) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Dispatches goal encoded as a JSON object and returns a JSON response Example: ipPrologEngine(E), JSON='{"g":s("string:concat_atom([hello_,I],O)"),"i":s("I"),"o":s("O"),"x":s("miguel")}', java(E,string(R),deterministicGoalJSON(string(JSON),int(1))).
disableWhenBusy(Component) - Method in class com.declarativa.interprolog.EngineController
This component or menu item should be enabled only when the engine is available or paused.
disableWhenBusy(Action) - Method in class com.declarativa.interprolog.EngineController
 
disableWhenBusyOrPaused(Component) - Method in class com.declarativa.interprolog.EngineController
 
disableWhenBusyOrPaused(Action) - Method in class com.declarativa.interprolog.EngineController
 
disableWhenPaused(Component) - Method in class com.declarativa.interprolog.EngineController
 
doCallback(Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Execute a Prolog->Java call
doubleQuotes(String) - Static method in class com.declarativa.interprolog.TermModel
 
dump(int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
 

E

END - Static variable in class com.declarativa.interprolog.gui.SmartScroller
 
endAllTasks(Exception) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Do not invoke this
engine - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
EngineController - Class in com.declarativa.interprolog
An auxiliary object which listens to a PrologEngine and depending on its state will enable/disable a bunch of UI Components and/or Actions.
EngineController(SubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.EngineController
 
EngineInspectionWindow - Class in com.declarativa.interprolog.gui
To try in a Silk console near you: ?-silk:flora(" ipPrologEngine(?E)@_prologall, javaMessage('com.declarativa.interprolog.gui.EngineInspectionWindow',init(?E))@_prologall "); ?-silk:flora(" showPrologEngineInspector(flora_abort('User aborted from inspector window'))@_prologall, flora_set_timeout(repeating(1)@_plg,refreshPrologEngineInspector(?)@_prologall)@_plg(flrerrhandler) "); ?-silk:flora(" (repeat,fail)@_prologall ");
EngineInspectionWindow(PredicateTableModel, PrologEngine) - Constructor for class com.declarativa.interprolog.gui.EngineInspectionWindow
 
engineStateAction - Variable in class com.declarativa.interprolog.EngineController
 
eolIsSignificant(boolean) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Determines whether or not ends of line are treated as tokens.
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.BasicTypeWrapper
This is useful for test assertions
equals(Object) - Method in class com.declarativa.interprolog.util.VariableNode
 
ERGO_AUX_BASE - Static variable in class com.declarativa.interprolog.FloraSubprocessEngine
 
ERGOTEXT_EXTENSION - Static variable in class com.declarativa.interprolog.FloraSubprocessEngine
 
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.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.InitiallyFlatTermModel
 
example() - Static method in class com.declarativa.interprolog.TermModel
 
example() - Static method in class com.declarativa.interprolog.util.VariableNode
 
exception - Variable in class com.declarativa.interprolog.util.ResultFromJava
cause of the exception thrown directly by java.lang.reflect.Method#invoke().
exec(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
A command expected to always succeed; throws an IPException if it fails
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
This returns the same path d if it ends in ...bin
executablePath(String) - Method in class com.declarativa.interprolog.YAPPeer
 
executeInThread(Runnable) - Method in class com.declarativa.interprolog.util.GoalToExecute
 
executingOnJavaSide() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 

F

fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.GNUPeer
 
fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.SWIPeer
 
fetchPrologNumericVersion() - Method in class com.declarativa.interprolog.YAPPeer
 
FileProcessor - Class in com.declarativa.interprolog.examples
A fictional file filter to exemplify how it can be called from the logic side in a number of ways.
FileProcessor(String, String) - Constructor for class com.declarativa.interprolog.examples.FileProcessor
 
findConstructor(Class<?>, Class<?>[]) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Similar to findMethod(), but for constructors rather than regular methods
findConstructor(Class<?>, Class<?>[]) - Static method in class com.declarativa.interprolog.util.JavaLangUtils
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.
findMethod(Class<?>, String, Class<?>[]) - Static method in class com.declarativa.interprolog.util.JavaLangUtils
An utility building on the functionality of getMethod(), to provide the javaMessage predicate with method argument polymorphism.
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
flatListToString(PrologOperatorsContext, boolean) - Method in class com.declarativa.interprolog.TermModel
 
FLORA_AUX_BASE - Static variable in class com.declarativa.interprolog.FloraSubprocessEngine
 
floraCommand(String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Execute a Flora/Ergo "command"
floraDeterministicGoal(String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
floraDeterministicGoal(String, String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
floraDeterministicGoal(String, String, TermModel[], String) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Execute Flora goal FG, binding terms to the variables in FloraInputVars, and returning as many TermModels as vars in FloraOutputVars.
FloraSubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets, and running the Flora2 shell.
FloraSubprocessEngine(String[], String, boolean, boolean, boolean) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine(String[], boolean, boolean) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine(String[], boolean) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine(String[], String) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine(String[]) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngine() - Constructor for class com.declarativa.interprolog.FloraSubprocessEngine
 
FloraSubprocessEngineWindow - Class in com.declarativa.interprolog.gui
 
FloraSubprocessEngineWindow(FloraSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.FloraSubprocessEngineWindow
 
FloraSubprocessEngineWindow(FloraSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.FloraSubprocessEngineWindow
 
FloraSubprocessEngineWindow(FloraSubprocessEngine, boolean, boolean) - Constructor for class com.declarativa.interprolog.gui.FloraSubprocessEngineWindow
 
flush() - Method in class com.declarativa.interprolog.util.PrologOutputObjectStream
 
focusInput() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 

G

getBigArray() - Static method in class com.declarativa.interprolog.examples.DataSourceExample
 
getbigArrayReference(FloraSubprocessEngine) - Static method in class com.declarativa.interprolog.examples.DataSourceExample
 
getBinDirectoryEnvVar() - Method in class com.declarativa.interprolog.GNUPeer
 
getBinDirectoryEnvVar() - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
getBinDirectoryEnvVar() - Method in class com.declarativa.interprolog.SWIPeer
 
getBinDirectoryEnvVar() - Method in class com.declarativa.interprolog.XSBPeer
 
getBinDirectoryEnvVar() - Method in class com.declarativa.interprolog.YAPPeer
 
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.YAPPeer
 
getBuffer() - Static method in class com.declarativa.interprolog.examples.DataSourceExample
 
getCallerThread() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getCallingThread() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getCanonicalTerm() - Method in class com.declarativa.interprolog.InitiallyFlatTermModel
 
getCause() - Method in exception com.declarativa.interprolog.util.IPException
To allow compilation under JDK 1.3; this method is already defined in Throwable in later JDKs
getCharset() - Method in class com.declarativa.interprolog.SubprocessEngine
Current engine stream charset name
getCharset() - Method in class com.declarativa.interprolog.util.OutputHandler
 
getChild(Object, int) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getChild(Object, int) - Method in class com.declarativa.interprolog.TermModel
 
getChild(int) - Method in class com.declarativa.interprolog.TermModel
 
getChildCount(Object) - 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
 
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
 
getCommandHistory() - Method in class com.declarativa.interprolog.gui.ListenerWindow
Returns the object reacting to up/down arrows
getElementAt(int) - Method in class com.declarativa.interprolog.gui.TermListModel
 
getEngine() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
getError() - Method in exception com.declarativa.interprolog.util.IPPrologError
 
getExecutor() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getFloraBuild() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
getFloraDirectory() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
getFloraReleaseDate() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Return Flora's release date as YYYY-MM-DD
getFloraVersion() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Return Flora's version
getFunctorArity() - Method in class com.declarativa.interprolog.TermModel
Return a node/arity String
getGoal() - Method in class com.declarativa.interprolog.util.GoalFromJava
 
getGoal() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getHugeString() - Static method in class com.declarativa.interprolog.examples.PerformanceTester
 
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.gui.RelationTreeModel
 
getIndexOfChild(Object, Object) - Method in class com.declarativa.interprolog.TermModel
 
getInputPane() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
getInterprologPath() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
getJarDirectory() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the directory containing the jar with the engine class
getJarDirectory(Class<? extends AbstractPrologEngine>) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Returns the directory containing the jar with the given class
getLanguage() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
getLoadFromJar() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
getM() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
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
 
getOutputPane() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
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
 
getRealMethodName() - Method in class com.declarativa.interprolog.util.MessageFromProlog
 
getResult() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getRoot() - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
getRoot() - Method in class com.declarativa.interprolog.TermModel
 
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
getTermList(File) - Static method in class com.declarativa.interprolog.InitiallyFlatTermModel
Get a TermModel array previously written by Prolog with ipPutTermList(L,FilePath)
getTermList() - Method in class com.declarativa.interprolog.util.OutOfBandTermResource
 
getThePrologListener() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Kludgy method to be used only if a single listener exists
getTimestamp() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
getTimestamp() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
getToolTipText(MouseEvent) - Method in class com.declarativa.interprolog.gui.StyledOutputPane
 
getValueAt(int, int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
GNUPeer - Class in com.declarativa.interprolog
 
GNUPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.GNUPeer
 
GNUSubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine encapsulating a GNU Prolog engine, accessed over TCP/IP sockets.
GNUSubprocessEngine(String[], boolean, boolean, boolean) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
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(String, boolean) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine(String) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngine() - Constructor for class com.declarativa.interprolog.GNUSubprocessEngine
 
GNUSubprocessEngineWindow - Class in com.declarativa.interprolog.gui
 
GNUSubprocessEngineWindow(GNUSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow
 
GNUSubprocessEngineWindow(GNUSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.GNUSubprocessEngineWindow
 
go(String, String, String, String, String) - Method in class com.declarativa.interprolog.LPSEngine
Load, execute a LPS file
go(String, String, String, String) - Method in class com.declarativa.interprolog.LPSEngine
 
go(String, String, String) - Method in class com.declarativa.interprolog.LPSEngine
 
goal(String, String, Object[], String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Similar to deterministicGoal, but rather than just the first solution returns an Iterator which lazily returns bindings for solutions.
goal(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.
goal(String, String, Object[], String) - Method in interface com.declarativa.interprolog.PrologEngine
Similar to deterministicGoal, but rather than just the first solution returns an Iterator which lazily returns bindings for solutions.
goal(String, String) - Method in interface com.declarativa.interprolog.PrologEngine
 
GoalFromJava - Class in com.declarativa.interprolog.util
Represents a goal from Java, called through deterministicGoal
GoalFromJava(int, String, String, Object[], String) - Constructor for class com.declarativa.interprolog.util.GoalFromJava
 
GoalToExecute - Class in com.declarativa.interprolog.util
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
 
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.
handleCycle(int, TermModel[], TermModel[]) - Method in interface com.declarativa.interprolog.LPSEngine.CycleHandler
Notification that LPS is starting a cycle, reporting the current state and last actions, and returning input events for LPS to continue.
hasEnded() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
hasEnded() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
hashCode() - Method in class com.declarativa.interprolog.TermModel
Returns an hashCode for the result of toString()
hasListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
hasNext() - Method in class com.declarativa.interprolog.SolutionIterator
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.GNUPeer
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.PrologImplementationPeer
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.SWIPeer
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.XSBPeer
 
hasPrologExtension(String) - Method in class com.declarativa.interprolog.YAPPeer
 
hasStarted() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
HelloRemote - Class in com.declarativa.interprolog.examples
In order to run this you need to: - Install/copy XSB Prolog and interprolog.xwam to the remote machines - Create an interprolog login in each machine, with permissions to run ssh, and with passphrase configured Test the above first by running on your machine (the one with the Java app): ssh interprolog@remotehost 'PathToXSBexecutable' You should enter an interactive XSB session, without being asked a password.
HelloRemote() - Constructor for class com.declarativa.interprolog.examples.HelloRemote
 
HelloRemote2 - Class in com.declarativa.interprolog.examples
In order to run this you need to: - Install/copy XSB Prolog to the remote machines, Java JRE as well as interprolog.jar - Execute the interprolog daemon on the remote machine with java -classpath interprolog.jar com.declarativa.interprolog.remote.PrologServer XSBpath ...and take note of the IP/port being listened to - On the client machine you need only Java JRE and interprolog.jar java -classpath interprolog.jar com.declarativa.interprolog.examples.HelloRemote2 IP port Example output: ....
HelloRemote2() - Constructor for class com.declarativa.interprolog.examples.HelloRemote2
 
HelloWindow - Class in com.declarativa.interprolog.examples
From Prolog in a InterProlog listener window: 1) assert( (greetat(TextID) :- javaMessage( TextID, setText(string('Hello world!')) )) ).
HelloWindow(PrologEngine) - Constructor for class com.declarativa.interprolog.examples.HelloWindow
 
HelloWindow2 - Class in com.declarativa.interprolog.examples
Example for Java-side UI construction, with event handler setup on the Prolog side; the Java part knows nothing about event handling.
HelloWindow2(PrologEngine) - Constructor for class com.declarativa.interprolog.examples.HelloWindow2
 
HelloWorld - Class in com.declarativa.interprolog.examples
 
HelloWorld() - Constructor for class com.declarativa.interprolog.examples.HelloWorld
 
HORIZONTAL - Static variable in class com.declarativa.interprolog.gui.SmartScroller
 

I

inFloraShell() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
We know the engine to be in the Flora shell, so Prolog goals need a Flora suffix
init(AbstractPrologEngine) - Static method in class com.declarativa.interprolog.gui.EngineInspectionWindow
Try it with ipPrologEngine(E), javaMessage('com.declarativa.interprolog.gui.EngineInspectionWindow',init(E)).
initializeOutputStyles() - Method in class com.declarativa.interprolog.gui.StyledOutputPane
This implementation does nothing.
initializeVisualizationObjects(AbstractPrologEngine) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
InitiallyFlatTermModel - Class in com.declarativa.interprolog
A TermModel specialization so serialization is done faster, based on string representations of the term.
InitiallyFlatTermModel(Object) - Constructor for class com.declarativa.interprolog.InitiallyFlatTermModel
Variable names and their numbers - order of the first occurrence
InitiallyFlatTermModel() - Constructor for class com.declarativa.interprolog.InitiallyFlatTermModel
 
InitiallyFlatTermModel(Object, TermModel[], boolean) - Constructor for class com.declarativa.interprolog.InitiallyFlatTermModel
 
initIsShowingCache(PrologEngine, Component) - Static method in class com.declarativa.interprolog.JavaStateCaching
To be called from the Prolog side, see ipInitIsShowing/1.
inPrologShell() - Method in class com.declarativa.interprolog.AbstractPrologEngine
We know the engine to be in the Prolog shell, so Prolog goals do not need a postfix.
inPrologShell() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
We know the engine to be in the Prolog shell, so Prolog goals do not need a postfix
inPrologShell() - Method in interface com.declarativa.interprolog.PrologEngine
 
instanceOfWrapper(Object) - Static method in class com.declarativa.interprolog.util.BasicTypeWrapper
 
InterprologConstants - Interface in com.declarativa.interprolog
 
interPrologFileLoaded - Variable in class com.declarativa.interprolog.AbstractPrologEngine
Determines whether deterministicGoal machinery is in place...
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() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
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.
intValue() - Method in class com.declarativa.interprolog.TermModel
Returns node object as an int, assuming it is a Number
InvisibleObject - Class in com.declarativa.interprolog.util
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
 
IPAbortedException - Exception in com.declarativa.interprolog.util
An Exception thrown when Prolog is aborted from the Java side, typically due to InterProlog's internal handling of a shutdown request
IPAbortedException(String) - Constructor for exception com.declarativa.interprolog.util.IPAbortedException
 
IPClassObject - Class in com.declarativa.interprolog.util
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 in com.declarativa.interprolog.util
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 in com.declarativa.interprolog.util
An Exception related to Prolog processing in general
IPException(String) - Constructor for exception com.declarativa.interprolog.util.IPException
 
IPException(String, Throwable) - Constructor for exception com.declarativa.interprolog.util.IPException
 
IPInterruptedException - Exception in com.declarativa.interprolog.util
An Exception thrown when Prolog is interrupted from the Java side
IPInterruptedException(String) - Constructor for exception com.declarativa.interprolog.util.IPInterruptedException
 
IPPrologError - Exception in com.declarativa.interprolog.util
An Exception originated by a Prolog error
IPPrologError(Object) - Constructor for exception com.declarativa.interprolog.util.IPPrologError
 
is64WindowsOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
isAllowSimultaneousThreads() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
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.
isDebug() - Method in interface com.declarativa.interprolog.PrologEngine
Debug messages are being written, both Java and Prolog side, cf.
isDetectErrorMessages() - Method in class com.declarativa.interprolog.SubprocessEngine
 
isErgo(String) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isErgo() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
This Flora2 engine happens to also be an Ergo engine.
isErgoSourceFile(File) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isErgoSourceFile(String) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isErgotextSourceFile(File) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isErgotextSourceFile(String) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isFirstGoal() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
isFloraSourceFile(File) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isFloraSourceFile(String) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
 
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.
isInPause() - Method in class com.declarativa.interprolog.EngineController
 
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.
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.gui.RelationTreeModel
 
isLeaf(Object) - Method in class com.declarativa.interprolog.TermModel
 
isLeaf() - Method in class com.declarativa.interprolog.TermModel
 
isLinuxOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
isList() - Method in class com.declarativa.interprolog.TermModel
May be an empty list
isListEnd() - Method in class com.declarativa.interprolog.TermModel
 
isLong() - Method in class com.declarativa.interprolog.TermModel
 
isMacOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
isMacOS() - Static method in class com.declarativa.interprolog.util.SystemUtils
 
isMayExitApp() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
isNumber() - Method in class com.declarativa.interprolog.TermModel
 
isPaused() - Method in class com.declarativa.interprolog.AbstractPrologEngine
To be used only if this engine has a EngineController (single) listener
isProfiling() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
isPrologServerBased() - Method in class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 
isQuietDeterministicGoals() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isRoot() - Method in class com.declarativa.interprolog.TermModel
This node is its own root
isSerializable(Object) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Returns true if the object is Serializable or, being an array, its element type is primitive or Serializable
isShutingDown() - Method in class com.declarativa.interprolog.AbstractPrologEngine
The engine is in the process of shuting down
isStillFlat() - Method in class com.declarativa.interprolog.InitiallyFlatTermModel
 
isThreadedCallbacks() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
isTruncateOutput() - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
isVar() - Method in class com.declarativa.interprolog.TermModel
 
isVerbose() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
isWindowsOS() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
whether we (Java side) are re under Windows -- isWindowsOS
isWindowsOS() - Static method in class com.declarativa.interprolog.util.SystemUtils
 

J

JavaLangUtils - Class in com.declarativa.interprolog.util
 
javaMessaged(AbstractPrologEngine) - Method in class com.declarativa.interprolog.EngineController
 
javaMessaged(AbstractPrologEngine) - Method in interface com.declarativa.interprolog.PrologEngineListener
The Java side is starting processing a javaMessage Prolog goal (callback) request
JavaStateCaching - Class in com.declarativa.interprolog
Utilities for caching specific Java state items as Prolog facts
JavaStateCaching() - Constructor for class com.declarativa.interprolog.JavaStateCaching
 
JNIinSameThread - Static variable in class com.xsb.interprolog.AbstractNativeEngine
If true, all JNI calls (including the Prolog callback predicate/function) run in the same thread.

K

keyPressed(KeyEvent) - Method in class com.declarativa.interprolog.gui.CommandHistory
 

L

last() - Method in class com.declarativa.interprolog.gui.CommandHistory
 
lastSolutionUndefined() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
lastSolutionUndefined() - Method in interface com.declarativa.interprolog.PrologEngine
 
lastSolutionUndefined() - Method in class com.declarativa.interprolog.SolutionIterator
 
lineno() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Return the current line number.
ListenerWindow - Class in com.declarativa.interprolog.gui
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, boolean) - Constructor for class com.declarativa.interprolog.gui.ListenerWindow
 
ListenerWindow(AbstractPrologEngine, boolean, boolean, Rectangle) - Constructor for class com.declarativa.interprolog.gui.ListenerWindow
 
listMaxLength - Static variable in class com.declarativa.interprolog.TermModel
 
listToString(PrologOperatorsContext, boolean) - Method in class com.declarativa.interprolog.TermModel
 
load_dynAbsolute(File) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
load_dynAbsolute(File) - Method in interface com.declarativa.interprolog.PrologEngine
 
load_dynRelative(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
load_dynRelative(String, Object) - Method in interface com.declarativa.interprolog.PrologEngine
 
loadFromJar - Static variable in class com.declarativa.interprolog.gui.ListenerWindow
 
longValue() - Method in class com.declarativa.interprolog.TermModel
Returns node object as a long, assuming it is a Number
loop() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Infinite Java loop, for testing only!
loop2() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
lowerCaseMode(boolean) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Determines whether or not word token are automatically lowercased.
LPSEngine - Class in com.declarativa.interprolog
 
LPSEngine(String[], boolean, boolean, boolean, String) - Constructor for class com.declarativa.interprolog.LPSEngine
 
LPSEngine(String, String) - Constructor for class com.declarativa.interprolog.LPSEngine
 
LPSEngine.CycleHandler - Interface in com.declarativa.interprolog
 

M

main(String[]) - Static method in class com.declarativa.interprolog.examples.BackEnd
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.FileProcessor
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.HelloRemote
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.HelloRemote2
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.HelloWorld
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.PerformanceTester
 
main(String[]) - Static method in class com.declarativa.interprolog.examples.SudokuWindow
launch with j com.declarativa.interprolog.examples.SudokuWindow
main(String[]) - Static method in class com.declarativa.interprolog.FloraSubprocessEngine
Example to create an engine and run a simple query.
main(String[]) - Static method in class com.declarativa.interprolog.gui.FloraSubprocessEngineWindow
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.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.declarativa.interprolog.LPSEngine
Execute the dining philosophers example
main(String[]) - Static method in class com.declarativa.interprolog.remote.PrologServer
 
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
Make a binary (non flat) list
makeList(ArrayList<TermModel>) - Static method in class com.declarativa.interprolog.TermModel
Make a binary (non flat) list
makeList(Vector<TermModel>) - 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
 
MAX_INT_VALUE - Static variable in interface com.declarativa.interprolog.PrologEngine
Maximum integer value in any supported Prolog.
MAX_INT_VALUE - Static variable in class com.declarativa.interprolog.util.SystemUtils
Maximum integer value in any supported Prolog.
MAX_MESSAGE_LEN - Static variable in class com.declarativa.interprolog.util.PrologOutputObjectStream
 
MessageExecuting - Class in com.declarativa.interprolog.util
Object to help coordinate a javaMessage execution in the Java side.
MessageExecuting(MessageFromProlog, AbstractPrologEngine, Thread) - Constructor for class com.declarativa.interprolog.util.MessageExecuting
 
MessageFromProlog - Class in com.declarativa.interprolog.util
Represents a message from Prolog, performed by predicate javaMessage.
MessageFromProlog() - Constructor for class com.declarativa.interprolog.util.MessageFromProlog
 
methodName - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
MIN_INT_VALUE - Static variable in interface com.declarativa.interprolog.PrologEngine
Minimum integer value.
MIN_INT_VALUE - Static variable in class com.declarativa.interprolog.util.SystemUtils
Minimum integer value.
myMessage(Object, String) - Static method in class com.declarativa.interprolog.EngineController
For those annoying situations where anonymous classes do not expose their simple methods (void result and no args) elsewhere ;-)
MyStreamTokenizer - Class in com.declarativa.interprolog.util
The StreamTokenizer class takes an input stream and parses it into "tokens", allowing the tokens to be read one at a time.
MyStreamTokenizer(Reader) - Constructor for class com.declarativa.interprolog.util.MyStreamTokenizer
Create a tokenizer that parses the given character stream.
MyStreamTokenizer(InputStream) - Constructor for class com.declarativa.interprolog.util.MyStreamTokenizer
Create a tokenizer that parses the given byte stream.

N

NativeEngine - Class in com.xsb.interprolog
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.
NativeEngineWindow - Class in com.xsb.interprolog
A ListenerWindow for a NativeEngine
NativeEngineWindow(NativeEngine) - Constructor for class com.xsb.interprolog.NativeEngineWindow
 
NativeEngineWindow(NativeEngine, boolean) - Constructor for class com.xsb.interprolog.NativeEngineWindow
 
NativeEngineWindow(NativeEngine, boolean, boolean) - Constructor for class com.xsb.interprolog.NativeEngineWindow
 
next() - Method in class com.declarativa.interprolog.SolutionIterator
 
next() - Method in class com.declarativa.interprolog.util.CompactIterator
Returns null if no more items
nextToken() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Parses the next token from the input stream of this tokenizer.
nl - Variable in class com.declarativa.interprolog.AbstractPrologEngine
Convenience for newline; value for the OS where Prolog is running (which may be different from the Java side).
nl - Static variable in class com.declarativa.interprolog.util.SystemUtils
Convenience for newline
node - Variable in class com.declarativa.interprolog.TermModel
public for convenience, but should not be set outside this class
NodeDescriptionTriple() - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel.NodeDescriptionTriple
 
nodeIsVar() - Method in class com.declarativa.interprolog.TermModel
 
numberListeners() - Method in class com.declarativa.interprolog.util.Recognizer
 
nval - Variable in class com.declarativa.interprolog.util.MyStreamTokenizer
If the current token is a number, this field contains the value of that number.

O

ObjectExamplePair - Class in com.declarativa.interprolog
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 in com.declarativa.interprolog.util
Remembers a set of Java objects, allowing access to them by an (integer) ID
ObjectRegistry() - Constructor for class com.declarativa.interprolog.util.ObjectRegistry
 
ordinaryChar(int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that the character argument is "ordinary" in this tokenizer.
ordinaryChars(int, int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that all characters c in the range low <= c <= high are "ordinary" in this tokenizer.
OutOfBandTermResource - Class in com.declarativa.interprolog.util
 
OutOfBandTermResource(PrologEngine) - Constructor for class com.declarativa.interprolog.util.OutOfBandTermResource
 
OutputDumper(String) - Constructor for class com.declarativa.interprolog.SubprocessEngine.OutputDumper
 
OutputHandler - Class in com.declarativa.interprolog.util
An object consuming input from a stream, analyzing 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 in com.declarativa.interprolog.util
Interface by which an OutputHandler client can receive output to analyse

P

parenthesize(boolean, String) - Static method in class com.declarativa.interprolog.TermModel
 
parseNumbers() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that numbers should be parsed by this tokenizer.
pauseContinueAction - Variable in class com.declarativa.interprolog.EngineController
 
PerformanceTester - Class in com.declarativa.interprolog.examples
Run some tests regarding data passing throughput (bytes/second); tests in the InterProlog test suit already measure performance for number of calls/second walltime in Prolog (cputime not reliable??), walltime in Java!!!
PerformanceTester() - Constructor for class com.declarativa.interprolog.examples.PerformanceTester
 
popupEditMenuFor(JTextComponent) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
precedence(PrologOperatorsContext) - Method in class com.declarativa.interprolog.TermModel
 
PredicateTableModel - Class in com.declarativa.interprolog.gui
 
PredicateTableModel(TermModel, TermModel[]) - Constructor for class com.declarativa.interprolog.gui.PredicateTableModel
 
PredicateTableWindow - Class in com.declarativa.interprolog.gui
 
PredicateTableWindow(PredicateTableModel) - Constructor for class com.declarativa.interprolog.gui.PredicateTableWindow
 
print(String) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
print(String) - Method in interface com.declarativa.interprolog.PrologOutputListener
Deprecated.
print(String) - Method in class com.declarativa.interprolog.SubprocessEngine.OutputDumper
 
printAllStackTraces(boolean) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
If !quite, does not print to the standard (error) output
printAllStackTraces() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
printBindings(Object[]) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Convenience for debugging deterministicGoal() messages
printPrologOutputToConsole() - Method in class com.declarativa.interprolog.SubprocessEngine
For debugging purposes only
printPrologOutputToFile(String) - Method in class com.declarativa.interprolog.SubprocessEngine
For debugging purposes only e.g.: ipPrologEngine(E), java(E,printPrologOutputToFile(string('/MyDir/xsb-output.txt'))).
printStackTrace() - Static method in class com.declarativa.interprolog.AbstractPrologEngine
 
printStderr(String) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
printStderr(String) - Method in interface com.declarativa.interprolog.PrologOutputListener
 
printStderr(String) - Method in class com.declarativa.interprolog.SubprocessEngine.OutputDumper
 
printStdout(String) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
printStdout(String) - Method in interface com.declarativa.interprolog.PrologOutputListener
 
printStdout(String) - Method in class com.declarativa.interprolog.SubprocessEngine.OutputDumper
 
processDraggedFile(File) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
profilingMessage(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Profiling aid
progressMessage(String) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Debugging aid
progressMessage(String, Object) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
prologBinDirectoryOrCommand - Variable in class com.declarativa.interprolog.AbstractPrologEngine
File path to directory with Prolog machine, or command path; this may NOT have options appended (Windows oblige), use specific constructors in subclasses for that
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/"...
prologCanWork() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Never call this directly; the Prolog side does call this automatically during timed calls
PrologEngine - Interface in com.declarativa.interprolog
The heart of InterProlog; a PrologEngine represents a Prolog machine instance.
PrologEngineListener - Interface in com.declarativa.interprolog
If you're interested in an engine's overall activity, implement this interface on your class and make your object a listener to a PrologEngine.
prologEnteredBreak() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Never call this directly; the Prolog side does call this automatically if detectsPauses
PrologEventBroker - Class in com.declarativa.interprolog.gui
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
 
prologFileAtom() - Method in class com.declarativa.interprolog.util.OutOfBandTermResource
 
PrologHaltedException - Exception in com.declarativa.interprolog.util
An Exception thrown when Prolog has unexpectedly died, typically fue to some unforeseen and serious error
PrologHaltedException(String) - Constructor for exception com.declarativa.interprolog.util.PrologHaltedException
 
PrologHaltedException(String, Throwable) - Constructor for exception com.declarativa.interprolog.util.PrologHaltedException
 
PrologImplementationPeer - Class in com.declarativa.interprolog
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
 
prologInput - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
PrologOperatorsContext - Class in com.declarativa.interprolog
Represents a set of Prolog operator declarations, to provide TermModel with knowledge for toString().
PrologOperatorsContext.PrologOperator - Class in com.declarativa.interprolog
 
prologOutput - Variable in class com.declarativa.interprolog.gui.ListenerWindow
 
PrologOutputListener - Interface in com.declarativa.interprolog
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 in com.declarativa.interprolog.util
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
 
prologResumedComputation() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Never call this directly; the Prolog side does call this automatically if detectsPauses
prologReturnedToTopLevel() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Never call this directly; the Prolog side does call this automatically if detectsPauses
PrologServer - Class in com.declarativa.interprolog.remote
java -classpath ../interprolog.jar com.declarativa.interprolog.remote.PrologServer 0 MyPath/XSB/bin/xsb
prologWasCalled() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
props2Hashtable(TermModel[]) - Static method in class com.declarativa.interprolog.TermModel
 
pushBack() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Causes the next call to the nextToken method of this tokenizer to return the current value in the ttype field, and not to modify the value in the nval or sval field.

Q

queryEnded() - Method in class com.declarativa.interprolog.EngineController
The user query ended
queryStarted() - Method in class com.declarativa.interprolog.EngineController
The user has started a query
quoteChar(int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that matching pairs of this character delimit string constants in this tokenizer.
quoteIfFirstUpper(String) - Static method in class com.declarativa.interprolog.TermModel
 
quotesAreNeeded(String) - Static method in class com.declarativa.interprolog.TermModel
 

R

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.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.SWISubprocessEngine
 
realCommand(String) - Method in class com.declarativa.interprolog.YAPSubprocessEngine
 
realCommand(String) - Method in class com.xsb.interprolog.NativeEngine
 
recognized(Recognizer, Object, String) - Method in interface com.declarativa.interprolog.util.RecognizerListener
 
Recognizer - Class in com.declarativa.interprolog.util
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 in com.declarativa.interprolog.util
An object that is notified when a Recognizer detects a string
Record() - Constructor for class com.declarativa.interprolog.examples.BackEnd.Record
 
recordSolution(Object[], Object, boolean) - Method in class com.declarativa.interprolog.SolutionIterator
This will messaged by Prolog.
refresh(PredicateTableModel, TermModel) - Method in class com.declarativa.interprolog.gui.EngineInspectionWindow
Receives some status information about the Prolog engine.
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
 
REGULAR_PROMPT - Static variable in class com.declarativa.interprolog.PrologImplementationPeer
 
RelationTreeModel - Class in com.declarativa.interprolog.gui
 
RelationTreeModel(PrologEngine, String, Object) - Constructor for class com.declarativa.interprolog.gui.RelationTreeModel
 
RelationTreeModel.BrowseAction - Class in com.declarativa.interprolog.gui
 
RelationTreeModel.NodeDescriptionTriple - Class in com.declarativa.interprolog.gui
 
remainingArgs(String[], int) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
This handles args in a peculiar way to please the Windows batch file interpreter: the main executable/dir arg is the last one...
RemoteXSBSubprocessEngine - Class in com.declarativa.interprolog.remote
 
RemoteXSBSubprocessEngine(String, String, String, String, boolean) - Constructor for class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 
RemoteXSBSubprocessEngine(String, String, String, String, boolean, boolean) - Constructor for class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
Assumes ssh connection exists preconfigured to this host, with signatures in place, and XSB Prolog in there with the interprolog prolog file
RemoteXSBSubprocessEngine(String, int) - Constructor for class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 
RemoteXSBSubprocessEngine(String, int, boolean) - Constructor for class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
assumes that hostname has interprolog.jar, and PrologServer.main() executing
remove() - Method in class com.declarativa.interprolog.SolutionIterator
 
removeListDataListener(ListDataListener) - Method in class com.declarativa.interprolog.gui.TermListModel
 
removeOutputListener(OutputListener) - Method in class com.declarativa.interprolog.util.OutputHandler
 
removePrologEngineListener(PrologEngineListener) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
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.gui.RelationTreeModel
 
removeTreeModelListener(TreeModelListener) - Method in class com.declarativa.interprolog.TermModel
 
requiresNewThread() - Method in class com.declarativa.interprolog.util.MessageFromProlog
 
resetSyntax() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Resets this tokenizer's syntax table so that all characters are "ordinary." See the ordinaryChar method for more information on a character being ordinary.
restoreCursor(Component) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
ResultFromJava - Class in com.declarativa.interprolog.util
Used to serialize results for javaMessage
ResultFromJava(int, Object, Object, Object[]) - Constructor for class com.declarativa.interprolog.util.ResultFromJava
 
ResultFromProlog - Class in com.declarativa.interprolog.util
Used to serialize results for deterministicGoal
ResultFromProlog(int, boolean, int, Object, boolean) - Constructor for class com.declarativa.interprolog.util.ResultFromProlog
 
resumeEngine() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Assumes the engine is in a break state
resumeEngine() - Method in class com.declarativa.interprolog.SubprocessEngine
Assumes the engine is in a break state
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
 
rVars - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Object array corresponding to the result variable list

S

save() - Method in class com.declarativa.interprolog.gui.CommandHistory
 
scrollToBottom() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
scrollToBottom() - Method in class com.declarativa.interprolog.gui.StyledOutputPane
To be used explicitly to override the SmartScroller
sendAndFlush(String) - Method in class com.declarativa.interprolog.SubprocessEngine
Sends a String to Prolog's input.
sendAndFlush(String) - Method in class com.declarativa.interprolog.SWISubprocessEngine
VERY Unsafe method: does NOT make the engine unavailable (as YAP's prompts do no appear)
sendAndFlush(String) - Method in class com.declarativa.interprolog.YAPSubprocessEngine
VERY Unsafe method: does NOT make the engine unavailable (as YAP's prompts do no appear)
sendAndFlushLn(String) - Method in class com.declarativa.interprolog.SubprocessEngine
 
sendToProlog() - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
sendToProlog(String) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
sendToProlog(String) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
sendToProlog(String) - Method in class com.xsb.interprolog.NativeEngineWindow
 
serverFileSeparatorChar() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
serverFileSeparatorChar() - Method in class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 
serverIsWindows() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Whether the Prolog machine is a Windows box
serverIsWindows() - Method in class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 
setAllowSimultaneousThreads(boolean) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
setCharset(String) - Method in class com.declarativa.interprolog.SubprocessEngine
Set the character set to be assumed decoding Prolog's stream output, e.g.
setCharset(Charset) - Method in class com.declarativa.interprolog.util.OutputHandler
 
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
setColorsForFields(Color, Color, Color) - Method in class com.declarativa.interprolog.EngineController
 
setCycleHandler(LPSEngine.CycleHandler) - Method in class com.declarativa.interprolog.LPSEngine
 
setDebug(boolean) - Method in class com.declarativa.interprolog.AbstractPrologEngine
Show (or hide) debug messages, both Java and Prolog side, cf.
setDebug(boolean) - Method in interface com.declarativa.interprolog.PrologEngine
Show (or hide) debug messages, both Java and Prolog side, cf.
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
 
setDetectErrorMessages(boolean) - Method in class com.declarativa.interprolog.SubprocessEngine
Some Prolog errors during deterministicGoal are not caught as exceptions, e.g.
setEngineStarted() - Method in class com.declarativa.interprolog.SubprocessEngine
 
setFirstGoalStatus() - Method in class com.declarativa.interprolog.util.GoalToExecute
 
setFloraShell() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
setFloraShellStarted() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
setHintsForFields(String, String, String) - Method in class com.declarativa.interprolog.EngineController
 
setIgnoreStreamEnd(boolean) - Method in class com.declarativa.interprolog.util.OutputHandler
 
setLabelsForState(String, String, String) - Method in class com.declarativa.interprolog.EngineController
 
setMayExitApp(boolean) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
setNodeValue(Object) - Method in class com.declarativa.interprolog.TermModel
Set the node, notifying TermModelListeners
setProfiling(boolean) - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
setPrologShell() - Method in class com.declarativa.interprolog.FloraSubprocessEngine
 
setQuietDeterministicGoals(boolean) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Determines whether Flora/Ergo standard output (such as "Yes", variable bindings etc) is produced during deterministicGoal
setResult(ResultFromProlog) - Method in class com.declarativa.interprolog.util.GoalToExecute
 
setResult(ResultFromJava) - Method in class com.declarativa.interprolog.util.MessageExecuting
 
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
setSlowWindowsShutdown() - Method in class com.declarativa.interprolog.SubprocessEngine
 
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 most recent 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
setTimedCallIntervall(int) - Method in class com.declarativa.interprolog.AbstractPrologEngine
If ms>0, all future deterministic goals will be executed under control so that the Java side is messaged (with @see#willWork messages) every ms, with the possibility to abort the Prolog computation, by having the Prolog engine interrupt normal execution periodically; otherwise the goal will run uninterrupted.
setTruncateOutput(boolean) - Method in class com.declarativa.interprolog.gui.SubprocessEngineWindow
If you prefer to see all those "yes" after top level deterministicGoal calls, or if you're concerned with too much memory being spent on regular expression matching, call this
setUItoBusy() - Method in class com.declarativa.interprolog.EngineController
 
setUItoNeedsMoreInput() - Method in class com.declarativa.interprolog.EngineController
 
setUItoPausedOrIdle() - Method in class com.declarativa.interprolog.EngineController
 
setValueAt(Object, int, int) - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
setVerbose(boolean) - Method in class com.declarativa.interprolog.FloraSubprocessEngine
Sets the Flora/Ergo engines's chatter level
setWaitCursor(Component) - Static method in class com.declarativa.interprolog.gui.ListenerWindow
 
shortClassName(Class<?>) - Static method in class com.declarativa.interprolog.AbstractPrologEngine
Returns just the name of the class, with no package information.
shortClassName(Class<?>) - Static method in class com.declarativa.interprolog.util.JavaLangUtils
Returns just the name of the class, with no package information.
showIt(AbstractPrologEngine) - Static method in class com.declarativa.interprolog.gui.EngineInspectionWindow
Try it with ipPrologEngine(E), javaMessage('com.declarativa.interprolog.gui.EngineInspectionWindow',showIt(E)).
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(String, int) - Static method in class com.declarativa.interprolog.remote.PrologServer
Shutdown the PrologServer at the given location.
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
 
slashSlashComments(boolean) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Determines whether or not the tokenizer recognizes C++-style comments.
slashStarComments(boolean) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Determines whether or not the tokenizer recognizes C-style comments.
SmartScroller - Class in com.declarativa.interprolog.gui
Grabbed from Rob Camick's post at https://tips4java.wordpress.com/2013/03/03/smart-scrolling/ The SmartScroller will attempt to keep the viewport positioned based on the users interaction with the scrollbar.
SmartScroller(JScrollPane) - Constructor for class com.declarativa.interprolog.gui.SmartScroller
Convenience constructor.
SmartScroller(JScrollPane, int) - Constructor for class com.declarativa.interprolog.gui.SmartScroller
Convenience constructor.
SmartScroller(JScrollPane, int, int) - Constructor for class com.declarativa.interprolog.gui.SmartScroller
Specify how the SmartScroller will function.
SolutionIterator - Class in com.declarativa.interprolog
An Iterator object that actually evaluates a goal and collects its solutions incrementally.
START - Static variable in class com.declarativa.interprolog.gui.SmartScroller
 
stop() - Method in class com.declarativa.interprolog.AbstractPrologEngine
Gracefully stop the engine computation
stop() - Method in class com.declarativa.interprolog.EngineController
 
STOP_MESSAGE - Static variable in class com.declarativa.interprolog.EngineController
 
stopAction - Variable in class com.declarativa.interprolog.EngineController
 
streamEnded(String) - Method in interface com.declarativa.interprolog.util.OutputListener
 
streamEnded(String) - Method in class com.declarativa.interprolog.util.Recognizer
Assume there are no network problems, hence unexpected stream end means Prolog process has died unexpectedly
StyledOutputPane - Class in com.declarativa.interprolog.gui
 
StyledOutputPane() - Constructor for class com.declarativa.interprolog.gui.StyledOutputPane
 
SubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine implemented over TCP/IP sockets.
SubprocessEngine.OutputDumper - Class in com.declarativa.interprolog
Useful for testing
SubprocessEngineWindow - Class in com.declarativa.interprolog.gui
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
 
SubprocessEngineWindow(SubprocessEngine, boolean, boolean) - Constructor for class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
SubprocessEngineWindow(SubprocessEngine, boolean, boolean, Rectangle) - Constructor for class com.declarativa.interprolog.gui.SubprocessEngineWindow
 
succeeded - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Goal has succeeded
successfulCommand(String) - Method in class com.declarativa.interprolog.gui.ListenerWindow
 
SudokuWindow - Class in com.declarativa.interprolog.examples
A window showing a Sudoku puzzle board, with the ability to edit it, save it to a Prolog text file, restore (open) it from either a file or PROLOG memory, and to solve it.
SudokuWindow(PrologEngine) - Constructor for class com.declarativa.interprolog.examples.SudokuWindow
 
sval - Variable in class com.declarativa.interprolog.util.MyStreamTokenizer
If the current token is a word token, this field contains a string giving the characters of the word token.
SWIPeer - Class in com.declarativa.interprolog
 
SWIPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.SWIPeer
 
SWISubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine encapsulating a SWI Prolog engine, accessed over TCP/IP sockets.
SWISubprocessEngine(String[], boolean, boolean, boolean) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
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(String, boolean) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine(String) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine(boolean) - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngine() - Constructor for class com.declarativa.interprolog.SWISubprocessEngine
 
SWISubprocessEngineWindow - Class in com.declarativa.interprolog.gui
 
SWISubprocessEngineWindow(SWISubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.SWISubprocessEngineWindow
 
SWISubprocessEngineWindow(SWISubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.SWISubprocessEngineWindow
 
SystemUtils - Class in com.declarativa.interprolog.util
 

T

t - Variable in exception com.declarativa.interprolog.util.IPPrologError
 
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
 
TermListModel - Class in com.declarativa.interprolog.gui
The Swing model to support a JList displaying Prolog terms
TermListModel(TermModel[]) - Constructor for class com.declarativa.interprolog.gui.TermListModel
 
TermListWindow - Class in com.declarativa.interprolog.gui
Displays a list of Prolog terms
TermListWindow(TermListModel) - Constructor for class com.declarativa.interprolog.gui.TermListWindow
 
TermModel - Class in com.declarativa.interprolog
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<TermModel>) - Constructor for class com.declarativa.interprolog.TermModel
 
TermModelListener - Interface in com.declarativa.interprolog
If you're interested in knowing that a (Java) term representation has changed implement this.
TermModelWindow - Class in com.declarativa.interprolog.gui
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 in com.declarativa.interprolog.gui
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 in com.declarativa.interprolog.gui
 
TermTreeWindow - Class in com.declarativa.interprolog.gui
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
 
timestamp - Variable in class com.declarativa.interprolog.util.MessageFromProlog
 
timestamp - Variable in class com.declarativa.interprolog.util.ResultFromProlog
Same as passed in GoalFromJava
toIndentedString() - Method in class com.declarativa.interprolog.TermModel
 
toIndentedString(int) - Method in class com.declarativa.interprolog.TermModel
 
toString() - Method in class com.declarativa.interprolog.AbstractPrologEngine
 
toString() - Method in class com.declarativa.interprolog.examples.BackEnd.Record
 
toString() - Method in class com.declarativa.interprolog.gui.PredicateTableModel
 
toString() - Method in class com.declarativa.interprolog.InitiallyFlatTermModel
 
toString() - Method in class com.declarativa.interprolog.ObjectExamplePair
 
toString() - Method in class com.declarativa.interprolog.TermModel
Returns a close imitation of a Prolog's write, following infix/prefix/postfix operartor declarations.
toString(boolean) - Method in class com.declarativa.interprolog.TermModel
 
toString(PrologOperatorsContext) - Method in class com.declarativa.interprolog.TermModel
 
toString(PrologOperatorsContext, boolean) - Method in class com.declarativa.interprolog.TermModel
quoted true: emulates writeq, and also ignores operator precedences, using prefix notation; also ignores list size limits, writing the full list.
toString(PrologEngine, boolean) - Method in class com.declarativa.interprolog.TermModel
 
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.InvisibleObject
 
toString() - Method in class com.declarativa.interprolog.util.IPClassObject
 
toString() - Method in class com.declarativa.interprolog.util.IPClassVariable
 
toString() - Method in exception com.declarativa.interprolog.util.IPPrologError
 
toString() - Method in class com.declarativa.interprolog.util.MessageExecuting
 
toString() - Method in class com.declarativa.interprolog.util.MessageFromProlog
 
toString() - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Returns the string representation of the current stream token.
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
 
TT_EOF - Static variable in class com.declarativa.interprolog.util.MyStreamTokenizer
A constant indicating that the end of the stream has been read.
TT_EOL - Static variable in class com.declarativa.interprolog.util.MyStreamTokenizer
A constant indicating that the end of the line has been read.
TT_NUMBER - Static variable in class com.declarativa.interprolog.util.MyStreamTokenizer
A constant indicating that a number token has been read.
TT_WORD - Static variable in class com.declarativa.interprolog.util.MyStreamTokenizer
A constant indicating that a word token has been read.
ttype - Variable in class com.declarativa.interprolog.util.MyStreamTokenizer
After a call to the nextToken method, this field contains the type of the token just read.

U

UnavailableResultException - Exception in com.declarativa.interprolog.util
An Exception thrown when a goal result is not available because the Prolog engine died somehow
UnavailableResultException(String) - Constructor for exception com.declarativa.interprolog.util.UnavailableResultException
 
UnavailableResultException(String, Throwable) - Constructor for exception com.declarativa.interprolog.util.UnavailableResultException
 
undefined - Variable in class com.declarativa.interprolog.util.ResultFromProlog
true if the result is logically undefined (third value)
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 interface com.declarativa.interprolog.PrologEngine
 
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.XSBPeer
 
unescapedFilePath(String) - Method in class com.declarativa.interprolog.YAPPeer
 
unifies(TermModel) - Method in class com.declarativa.interprolog.TermModel
If two terms, each with nonrepeated variables, are unifiable, this method returns true.
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
 
usesRemoteInterPrologServer() - Method in class com.declarativa.interprolog.remote.RemoteXSBSubprocessEngine
 

V

valueForPathChanged(TreePath, Object) - Method in class com.declarativa.interprolog.gui.RelationTreeModel
 
valueForPathChanged(TreePath, Object) - Method in class com.declarativa.interprolog.TermModel
 
variableName - Variable in class com.declarativa.interprolog.util.IPClassVariable
 
VariableNode - Class in com.declarativa.interprolog.util
TermModel node for a free Prolog variable.
VariableNode(int) - Constructor for class com.declarativa.interprolog.util.VariableNode
 
variant(TermModel) - Method in class com.declarativa.interprolog.TermModel
 
variant(TermModel, Map<VariableNode, VariableNode>) - Method in class com.declarativa.interprolog.TermModel
 
version - Static variable in interface com.declarativa.interprolog.InterprologConstants
InterProlog version
version - Static variable in interface com.declarativa.interprolog.PrologEngine
InterProlog version
VERTICAL - Static variable in class com.declarativa.interprolog.gui.SmartScroller
 
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.
waitUntilAvailable() - Method in class com.declarativa.interprolog.SubprocessEngine
 
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.
whitespaceChars(int, int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that all characters c in the range low <= c <= high are white space characters.
willWork(AbstractPrologEngine) - Method in class com.declarativa.interprolog.EngineController
 
willWork(AbstractPrologEngine) - Method in interface com.declarativa.interprolog.PrologEngineListener
Prolog is asking the Java layer permission to continue; return non null (a reason/message) if you want to abort the Prolog computation.
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
 
wordChars(int, int) - Method in class com.declarativa.interprolog.util.MyStreamTokenizer
Specifies that all characters c in the range low <= c <= high are word constituents.
workingDir - Static variable 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

XSBPeer - Class in com.declarativa.interprolog
 
XSBPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.XSBPeer
 
XSBSubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine encapsulating a XSB Prolog engine, accessed over TCP/IP sockets.
XSBSubprocessEngine(String[], boolean, boolean, boolean) - Constructor for class com.declarativa.interprolog.XSBSubprocessEngine
 
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(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
 
XSBSubprocessEngineWindow - Class in com.declarativa.interprolog.gui
 
XSBSubprocessEngineWindow(XSBSubprocessEngine) - Constructor for class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
 
XSBSubprocessEngineWindow(XSBSubprocessEngine, boolean) - Constructor for class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
 
XSBSubprocessEngineWindow(XSBSubprocessEngine, boolean, boolean) - Constructor for class com.declarativa.interprolog.gui.XSBSubprocessEngineWindow
 
XSBTableModel - Class in com.declarativa.interprolog.gui
Swing model for full contents of a XSB table
XSBTableModel(TermModel, TermTreeModel[], String) - Constructor for class com.declarativa.interprolog.gui.XSBTableModel
 
XSBTableWindow - Class in com.declarativa.interprolog.gui
Shows a XSB Prolog table
XSBTableWindow(XSBTableModel, Object[]) - Constructor for class com.declarativa.interprolog.gui.XSBTableWindow
 

Y

YAPPeer - Class in com.declarativa.interprolog
 
YAPPeer(AbstractPrologEngine) - Constructor for class com.declarativa.interprolog.YAPPeer
 
YAPSubprocessEngine - Class in com.declarativa.interprolog
A PrologEngine encapsulating a YAP Prolog engine, accessed over TCP/IP sockets.
YAPSubprocessEngine(String[], boolean, boolean, boolean) - Constructor for class com.declarativa.interprolog.YAPSubprocessEngine
 
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(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
 
YAPSubprocessEngineWindow - Class in com.declarativa.interprolog.gui
 
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 J K L M N O P Q R S T U V W X Y 
Skip navigation links