Uses of Interface
alice.tuprolog.ClauseStore

Packages that use ClauseStore

Package	Description
alice.tuprolog
alice.tuprolog.clausestore

Uses of ClauseStore in alice.tuprolog

Classes in alice.tuprolog that implement ClauseStore

Modifier and Type	Class and Description
class	DefaultClauseStore

Methods in alice.tuprolog that return ClauseStore

Modifier and Type	Method and Description
static ClauseStore	DefaultClauseStore.build(Prolog engine, Term goal, List vars, List familyClauses) Carica una famiglia di clausole
ClauseStore	ClauseStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	ClauseStoreManager.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	ChoicePointContext.getCompatibleGoals()

Uses of ClauseStore in alice.tuprolog.clausestore

Classes in alice.tuprolog.clausestore that implement ClauseStore

Modifier and Type	Class and Description
class	CollectionItemsStore
class	HyperGraphClauseStore
class	MapEntriesStore

Methods in alice.tuprolog.clausestore that return ClauseStore

Modifier and Type	Method and Description
ClauseStore	JavaCollectionStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	JavaMapStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)
ClauseStore	HyperGraphStoreFactory.buildClause(Prolog prolog, Term goal, List<?> varList)