java.lang.Object
java.lang.Thread
alice.tuprolog.Agent
- All Implemented Interfaces:
- java.lang.Runnable
- public class Agent
- extends java.lang.Thread
prolog virtual machine on a separate thread
it is created from a theory or a theory and a goal.
it parses the theory, solves the goal and stops.
Nested classes inherited from class java.lang.Thread |
java.lang.Thread.UncaughtExceptionHandler |
Method Summary |
static void |
main(java.lang.String[] args)
|
void |
run()
The method of Thread that will be run if there is no Runnable object
associated with the Thread. |
Methods inherited from class java.lang.Thread |
activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield |
core
private Prolog core
theoryText
private java.lang.String theoryText
theoryInputStream
private java.io.InputStream theoryInputStream
goalText
private java.lang.String goalText
Agent
public Agent(java.lang.String theory)
Agent
public Agent(java.lang.String theory,
java.lang.String goal)
Agent
public Agent(java.io.InputStream is)
- constructs the Agent with a theory provided by an input stream
Agent
public Agent(java.io.InputStream is,
java.lang.String goal)
run
public void run()
- Description copied from class:
java.lang.Thread
- The method of Thread that will be run if there is no Runnable object
associated with the Thread. Thread's implementation does nothing at all.
main
public static void main(java.lang.String[] args)