Package | Description |
---|---|
alice.tuprolog | |
alice.tuprologx.pj.engine | |
alice.tuprologx.runtime.rmi | |
alice.tuprologx.spyframe |
Modifier and Type | Method and Description |
---|---|
void |
Prolog.addTheory(Theory th)
Adds (appends) a theory
|
void |
Theory.append(Theory th)
Adds (appends) a theory to this.
|
void |
TheoryManager.consult(Theory theory,
boolean dynamicTheory,
java.lang.String libName)
Consults a theory.
|
void |
BuiltIn.include_1(Term theory) |
void |
Prolog.setTheory(Theory th)
Sets a new theory
|
Constructor and Description |
---|
Theory(java.lang.String theory)
Creates a theory from its source text
|
Theory(Struct clauseList)
Creates a theory from a clause list
|
Modifier and Type | Method and Description |
---|---|
void |
PJProlog.addTheory(Theory theory) |
Theory |
PJProlog.getTheory() |
void |
PJProlog.setTheory(Theory theory) |
Modifier and Type | Method and Description |
---|---|
void |
PrologImpl.addTheory(Theory theory) |
void |
Prolog.addTheory(Theory theory) |
void |
PrologImpl.setTheory(Theory theory) |
void |
Prolog.setTheory(Theory theory) |
Constructor and Description |
---|
SpyFrame(Theory theory,
Term goal)
Creates the main window for spying a prolog goal finding process.
|