Wraps up the backward chaining engine as an iterator-like object that can be
used in InfGraphs to implement a "find" operation. It creates
a top level GoalState and pumps that for results until the
agenda is empty.
author: Dave Reynolds version: $Revision: 1.7 $ on $Date: 2008/01/02 12:09:45 $