|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectalice.tuprolog.TheoryManager
This class defines the Theory Manager who manages the clauses/theory often referred to as the Prolog database. The theory (as a set of clauses) are stored in the ClauseDatabase which in essence is a HashMap grouped by functor/arity.
The TheoryManager functions logically, as prescribed by ISO Standard 7.5.4 section. The effects of assertions and retractions shall not be undone if the program subsequently backtracks over the assert or retract call, as prescribed by ISO Standard 7.7.9 section. To use the TheoryManager one should primarily use the methods assertA, assertZ, consult, retract, abolish and find. rewritten by:
Theory
,
Serialized FormConstructor Summary | |
TheoryManager()
|
Method Summary | |
java.lang.String |
getTheory(boolean onlyDynamic)
Gets current theory |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public TheoryManager()
Method Detail |
public java.lang.String getTheory(boolean onlyDynamic)
onlyDynamic
- if true, fetches only dynamic clauses
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |