Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
EngineManager |
Prolog.getEngineManager()
Gets the component managing engine
|
Constructor and Description |
---|
Engine(EngineManager manager,
Term query) |
StateBacktrack(EngineManager c) |
StateEnd(EngineManager c,
int end)
Constructor
|
StateGoalEvaluation(EngineManager c) |
StateGoalSelection(EngineManager c) |
StateInit(EngineManager c) |
StateRuleSelection(EngineManager c) |
Copyright © 2015. All rights reserved.