Uses of Class
alice.tuprolog.ClauseStoreManager

Packages that use ClauseStoreManager

Package	Description
alice.tuprolog

Uses of ClauseStoreManager in alice.tuprolog

Methods in alice.tuprolog that return ClauseStoreManager

Modifier and Type	Method and Description
ClauseStoreManager	EngineManager.getClauseStoreManager()