KnowledgeWorks and Prolog User Guide
>
C Implementation Notes
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 (Unix version) - 22 Dec 2009