java.lang.Object
alice.tucson.User
alice.tucson.Agent
alice.tucson.Automaton
alice.tuprolog.runtime.tucson.Daemon
- All Implemented Interfaces:
- java.util.EventListener, alice.tuprolog.OutputListener, java.lang.Runnable, java.io.Serializable, alice.tuprolog.SpyListener, alice.tuprolog.StateListener, alice.tucson.TucsonInterface
- public class Daemon
- extends alice.tucson.Automaton
- implements alice.tuprolog.OutputListener, alice.tuprolog.SpyListener, alice.tuprolog.StateListener
Methods inherited from class alice.tucson.User |
getId, getSpec, getSpec, in, in, inp, inp, out, out, outAsync, outAsync, rd, rd, rdp, rdp, setDaemonPort, setSpec, setSpec, shutdown |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
core
alice.tuprolog.Prolog core
who
alice.logictuple.TupleArgument who
what
alice.logictuple.TupleArgument what
tid
alice.tucson.TupleCentreId tid
Daemon
public Daemon()
boot
public void boot()
- Description copied from class:
alice.tucson.Automaton
- Specifies the behaviour of the automaton in its boot state,
which is reached when the automaton start its thread of control
waitForRequest
public void waitForRequest()
clearTheory
public void clearTheory()
setTheory
public void setTheory()
addTheory
public void addTheory()
getTheory
public void getTheory()
solveString
public void solveString()
solveTerm
public void solveTerm()
solveNext
public void solveNext()
spy
public void spy()
isSpy
public void isSpy()
loadLibrary
public void loadLibrary()
unloadLibrary
public void unloadLibrary()
onState
public void onState(alice.tuprolog.StateEvent e)
- Specified by:
onState
in interface alice.tuprolog.StateListener
onOutput
public void onOutput(alice.tuprolog.OutputEvent e)
- Specified by:
onOutput
in interface alice.tuprolog.OutputListener
onSpy
public void onSpy(alice.tuprolog.SpyEvent e)
- Specified by:
onSpy
in interface alice.tuprolog.SpyListener
main
public static void main(java.lang.String[] args)
answer_no
void answer_no()
answer_yes
void answer_yes()
answer_error
void answer_error(alice.tuprolog.Term what)
answer
void answer(alice.tuprolog.Term t)
toTerm
alice.tuprolog.Term toTerm(alice.tuprolog.SolveInfo info)