This guide describes KnowledgeWorks, an integrated development environment for constructing complex knowledge-based systems. Common Prolog, which is used in the KnowledgeWorks backward chainer, is also covered.
KnowledgeWorks and Prolog User Guide (Unix version) - 26 Feb 2015