Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## alice.tuprolog
Class TheoryManager

    java.lang.Object
      alice.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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD