Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.event | |
alice.tuprolog.lib | |
alice.tuprologx.ide | |
alice.tuprologx.pj.engine | |
alice.tuprologx.runtime.tcp |
Modifier and Type | Field and Description |
---|---|
protected Prolog |
Library.engine
prolog core which loaded the library
|
Modifier and Type | Method and Description |
---|---|
Prolog |
Library.getEngine()
Gets the engine to which the library is bound
|
Modifier and Type | Method and Description |
---|---|
boolean |
TermQueue.get(Term t,
Prolog engine,
EngineRunner er) |
void |
TheoryManager.initialize(Prolog vm) |
void |
EngineManager.initialize(Prolog vm) |
Iterator<? extends Term> |
Theory.iterator(Prolog engine) |
boolean |
TermQueue.peek(Term t,
Prolog engine) |
boolean |
TermQueue.remove(Term t,
Prolog engine) |
void |
Library.setEngine(Prolog en) |
boolean |
Term.unify(Prolog mediator,
Term t1)
Try to unify two terms
|
boolean |
TermQueue.wait(Term t,
Prolog engine,
EngineRunner er) |
Constructor and Description |
---|
BuiltIn(Prolog mediator) |
Constructor and Description |
---|
LibraryEvent(Prolog source,
String libName) |
PrologEvent(Prolog source) |
QueryEvent(Prolog source,
SolveInfo info) |
TheoryEvent(Prolog source,
Theory oldth,
Theory newth) |
Modifier and Type | Method and Description |
---|---|
void |
ThreadLibrary.setEngine(Prolog en) |
Modifier and Type | Method and Description |
---|---|
Prolog |
ToolBar.getEngine()
Get the Prolog engine referenced by the toolbar.
|
Prolog |
TheoryEditor.getEngine()
Get the Prolog engine referenced by the editor.
|
Prolog |
LibraryManager.getEngine()
Get the engine referenced by the library manager.
|
Modifier and Type | Method and Description |
---|---|
void |
ToolBar.setEngine(Prolog engine)
Set the Prolog engine referenced by the toolbar.
|
void |
TheoryTabbedPane.setEngine(Prolog engine) |
void |
TheoryEditor.setEngine(Prolog engine)
Set the Prolog engine referenced by the editor.
|
void |
LibraryManager.setEngine(Prolog engine)
Set the engine to be referenced by the library manager.
|
void |
ConsoleManager.setEngine(Prolog engine) |
Constructor and Description |
---|
EngineThread(Prolog engine) |
EngineThread(Prolog engine,
String goal,
ConsoleManager c) |
InformationToDisplayEvent(Prolog source,
ArrayList<QueryEvent> queryEventList,
ArrayList<String> queryEventListString,
int solveType) |
Modifier and Type | Field and Description |
---|---|
protected Prolog |
PJProlog.engine |
Constructor and Description |
---|
Daemon(Prolog core_) |
Daemon(Prolog core_,
int port) |
PrologImpl(Prolog core_) |