KnowledgeWorks and Prolog User Guide
>
3 Rules
>
3.1 Forward chaining
>
3.1.3 Defining Forward Chaining Rules
3.1.3.1 Example
(undefrule move-train)
KnowledgeWorks and Prolog User Guide (Unix version) - 22 Dec 2009