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.