2.6 Debugging

2.6.1 Monitoring Forward Chaining Rules

2.6.2 Single-Stepping Rules

2.6.3 Editing Rule Definitions

KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011