alice.tuprolog
Class TheoryManager

java.lang.Object
  extended byalice.tuprolog.TheoryManager
All Implemented Interfaces:
java.io.Serializable

public class TheoryManager
extends java.lang.Object
implements java.io.Serializable

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:

Author:
ivar.orstavik@hist.no
See Also:
Theory, Serialized Form

Constructor 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

TheoryManager

public TheoryManager()
Method Detail

getTheory

public java.lang.String getTheory(boolean onlyDynamic)
Gets current theory

Parameters:
onlyDynamic - if true, fetches only dynamic clauses