|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.Agent
Provides a prolog virtual machine embedded in a separate thread. It needs a theory and optionally a goal. It parses the theory, solves the goal and stops.
Prolog
Constructor Summary | |
Agent(java.io.InputStream is)
Constructs the Agent with a theory provided by an input stream |
|
Agent(java.io.InputStream is,
java.lang.String goal)
Constructs the Agent with a theory provided by an input stream and a goal |
|
Agent(java.lang.String theory)
Builds a prolog agent providing it a theory |
|
Agent(java.lang.String theory,
java.lang.String goal)
Builds a prolog agent providing it a theory and a goal |
Method Summary | |
void |
addOutputListener(OutputListener l)
Adds a listener to ouput events |
static void |
main(java.lang.String[] args)
|
void |
removeAllOutputListener()
Removes all output event listeners |
void |
removeOutputListener(OutputListener l)
Removes a listener to ouput events |
void |
spawn()
Starts agent execution |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public Agent(java.lang.String theory)
theory
- the text representing the theorypublic Agent(java.lang.String theory, java.lang.String goal)
public Agent(java.io.InputStream is)
public Agent(java.io.InputStream is, java.lang.String goal)
Method Detail |
public final void spawn()
public void addOutputListener(OutputListener l)
l
- the listenerpublic void removeOutputListener(OutputListener l)
l
- the listenerpublic void removeAllOutputListener()
public static void main(java.lang.String[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |