Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.event | |
alice.tuprolog.interfaces | |
alice.tuprolog.lib | |
alice.tuprologx.pj.model | |
alice.tuprologx.runtime.rmi | |
alice.tuprologx.runtime.tcp |
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) |