NextPrevTopContentsIndex

3 Rules

KnowledgeWorks rules are defined as follows:

<rule> ::=
    (defrule <rule-name> {:forward | :backward} <body>)

Every rule must have a unique name which must also be distinct from any KnowledgeWorks object class name and from any context (rule-group) name. The expressions which form the body of a rule have the same syntax and meaning regardless of whether they occur on the left or right hand side of a forward or backward chaining rule.

3.1 Forward chaining

3.2 Backward Chaining

3.3 Common Lisp Interface


KnowledgeWorks and Prolog User Guide (Unix version) - 4 Apr 2005

NextPrevTopContentsIndex