Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
EngineManager |
Prolog.getEngineManager()
Gets the component managing engine
|
Modifier and Type | Method and Description |
---|---|
static PrologError |
PrologError.domain_error(EngineManager e,
int argNo,
String validDomain,
Term culprit) |
static PrologError |
PrologError.evaluation_error(EngineManager e,
int argNo,
String error) |
static PrologError |
PrologError.existence_error(EngineManager e,
int argNo,
String objectType,
Term culprit,
Term message) |
static PrologError |
PrologError.instantiation_error(EngineManager e,
int argNo) |
static PrologError |
PrologError.permission_error(EngineManager e,
String operation,
String objectType,
Term culprit,
Term message) |
static PrologError |
PrologError.representation_error(EngineManager e,
int argNo,
String flag) |
static PrologError |
PrologError.resource_error(EngineManager e,
Term resource) |
static PrologError |
PrologError.syntax_error(EngineManager e,
int clause,
int line,
int position,
Term message) |
static PrologError |
PrologError.type_error(EngineManager e,
int argNo,
String validType,
Term culprit) |
Constructor and Description |
---|
Engine(EngineManager manager,
Term query) |
StateBacktrack(EngineManager c) |
StateEnd(EngineManager c,
int end)
Constructor
|
StateException(EngineManager c) |
StateGoalEvaluation(EngineManager c) |
StateGoalSelection(EngineManager c) |
StateInit(EngineManager c) |
StateRuleSelection(EngineManager c) |