alice.tuprolog

Interface ClauseStoreFactory

All Known Implementing Classes:

ClauseStoreManager, HyperGraphStoreFactory, JavaCollectionStoreFactory, JavaMapStoreFactory

public interface ClauseStoreFactory

Method Summary

Methods

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

Method Detail

buildClause

ClauseStore buildClause(Prolog prolog,
                      Term goal,
                      List<?> varList)