All Manuals
>
KnowledgeWorks and Prolog User Guide
>
D For More Information
D.1 General References
D.1.1 Forward Chaining
D.1.2 Backward Chaining and Prolog
D.1.3 Uncertain Reasoning
D.1.4 Expert Systems
D.1.5 Lisp and CLOS
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017