Part of the backwared chaining rule interpreter. The goal table
is a table of partially evaluated goals. This could be done by
variant-based or sumsumption-based tabling. We currently use variant-based.
TODO Investigate performance impact of switching to subsumption-based.
author: Dave Reynolds version: $Revision: 1.8 $ on $Date: 2008/01/02 12:09:45 $
Constructor. Creates a new, empty GoalTable. Any goal search on
this table will include the results from searching the given set of
raw data graphs.
Parameters: ruleEngine - the parent inference engine instance for this table
Find the set of memoized solutions for the given goal
and return a GoalState that can traverse all the solutions.
Parameters: goal - the goal to be solved a GoalState which can iterate over all of the goal solutions