C.1
Forward Chainer
C.1.1 Forward Chaining Algorithm
C.1.2 CLOS and the Forward Chainer
C.1.3 Forward Chaining and the Backward Chainer
LispWorks KnowledgeWorks and Prolog User Guide - 14 Dec 2001
