Forward and Backward Chaining

The planner/reasoner performs both forward and backward chaining in its operation, made possible by the STRIPS-like representation used in generic memory.
To return, press HOME. To go to the next document, press NEXT.