Uses of Class alice.tuprolog.TheoryManager (HyperGraphDB Prolog 1.3-SNAPSHOT API)

Packages that use TheoryManager
Package	Description
alice.tuprolog

Methods in alice.tuprolog that return TheoryManager
Modifier and Type	Method and Description
`TheoryManager`	Prolog.`getTheoryManager()` Gets the component managing theory
`TheoryManager`	EngineManager.`getTheoryManager()`

Uses of Classalice.tuprolog.TheoryManager