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
KnowledgeWorks and Prolog User Guide (Macintosh version) - 29 Feb 2008
