Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
boolean |
TermQueue.get(Term t,
Prolog engine,
EngineRunner er) |
boolean |
TermQueue.wait(Term t,
Prolog engine,
EngineRunner er) |
Constructor and Description |
---|
Engine(EngineRunner manager,
Term query) |
StateBacktrack(EngineRunner c) |
StateEnd(EngineRunner c,
int end)
Constructor
|
StateException(EngineRunner c) |
StateGoalEvaluation(EngineRunner c) |
StateGoalSelection(EngineRunner c) |
StateInit(EngineRunner c) |
StateRuleSelection(EngineRunner c) |