alice.tuprolog

Class ClauseStoreManager

java.lang.Object

alice.tuprolog.ClauseStoreManager

All Implemented Interfaces:

ClauseStoreFactory

public class ClauseStoreManager
extends Object
implements ClauseStoreFactory

Constructor Summary

Constructors

Constructor and Description
ClauseStoreManager()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClauseStoreManager

public ClauseStoreManager()

Method Detail

getFactories

public List<ClauseStoreFactory> getFactories()

buildClause

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

Specified by:

buildClause in interface ClauseStoreFactory