Modifier and Type | Method and Description |
---|---|
Theory |
TheoryManager.getLastConsultedTheory()
Gets last consulted theory
|
Theory |
Prolog.getLastConsultedTheory()
Gets last consulted theory, with the original textual format
|
Theory |
Prolog.getTheory()
Gets current theory
|
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,
String libName)
Consults a theory.
|
void |
Prolog.setTheory(Theory th)
Sets a new theory
|
Modifier and Type | Method and Description |
---|---|
Theory |
TheoryEvent.getNewTheory()
Gets the new theory
|
Theory |
TheoryEvent.getOldTheory()
Gets the old theory
|
Constructor and Description |
---|
TheoryEvent(Prolog source,
Theory oldth,
Theory newth) |
Modifier and Type | Method and Description |
---|---|
Theory |
IProlog.getTheory()
Gets current theory
|
Modifier and Type | Method and Description |
---|---|
void |
IProlog.addTheory(Theory th)
Adds (appends) a theory
|
Constructor and Description |
---|
TheoryLibrary(String name,
Theory theory) |
Modifier and Type | Method and Description |
---|---|
static Theory |
Theory.unmarshal(Theory t) |
Modifier and Type | Method and Description |
---|---|
Theory |
PrologImpl.getTheory() |
Theory |
Prolog.getTheory() |
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) |
Modifier and Type | Method and Description |
---|---|
Theory |
Proxy.getTheory() |
Theory |
Prolog.getTheory() |
Modifier and Type | Method and Description |
---|---|
void |
Proxy.addTheory(Theory th) |
void |
Prolog.addTheory(Theory theory) |
void |
Proxy.setTheory(Theory th) |
void |
Prolog.setTheory(Theory theory) |
Constructor and Description |
---|
SpyFrame(Theory theory,
Term goal)
Creates the main window for spying a prolog goal finding process.
|