alice.tuprolog

Class DefaultClauseStore

java.lang.Object

alice.tuprolog.DefaultClauseStore

All Implemented Interfaces:

ClauseStore

public class DefaultClauseStore
extends Object
implements ClauseStore

Method Summary

Methods

Modifier and Type	Method and Description
static ClauseStore	build(Prolog engine, Term goal, List vars, List familyClauses) Carica una famiglia di clausole
void	close() Clause the store and free any external resources or caches associated with it.
ClauseInfo	fetch() Get the next clause compatible with the current goal.
boolean	hasCompatibleClause() Verify if there is a term in compatibleGoals compatible with goal.
boolean	haveAlternatives() Return true if there are more clauses available compatible with the current goal and false otherwise.
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

close

public void close()

Description copied from interface: ClauseStore

Clause the store and free any external resources or caches associated with it. This method must be implemented by variants that access external resources such disk or DBMSs.

This being a cleanup method, implementations should try not to throw any exceptions here. It should also be possible to call this method repeatedly on the same instance without failure.

Specified by:

close in interface ClauseStore

hasCompatibleClause

public boolean hasCompatibleClause()

Verify if there is a term in compatibleGoals compatible with goal.

Specified by:

hasCompatibleClause in interface ClauseStore

Parameters:

goal -

compGoals -

Returns:

true if compatible or false otherwise.

build

public static ClauseStore build(Prolog engine,
                Term goal,
                List vars,
                List familyClauses)

Carica una famiglia di clausole

Parameters:

familyClauses -

fetch

public ClauseInfo fetch()

Description copied from interface: ClauseStore

Get the next clause compatible with the current goal. As a side-effect, all variables local to the clause store should be freed and available for unification again.

Specified by:

fetch in interface ClauseStore

haveAlternatives

public boolean haveAlternatives()

Description copied from interface: ClauseStore

Return true if there are more clauses available compatible with the current goal and false otherwise. A first call to this method is equivalent to a call to hasCompatibleClause (since no variables would have been bound as yet).

Specified by:

haveAlternatives in interface ClauseStore

toString

public String toString()

Overrides:

toString in class Object