Backward chaining involves trying to prove a given goal by using rules to generate sub-goals and recursively trying to satisfy those. The KnowledgeWorks backward chaining engine is an extension of the LispWorks Common Prolog system which can match directly over KnowledgeWorks CLOS objects (the object base). All the standard Common Prolog facilities and built in predicates are available. For more detailed information the reader is referred to the Common Prolog. Note that all the different ways of proving a particular goal are defined together in the same form.
In each sub-clause of the rule, the goal must have the same arity (number of arguments). Within each
<term> destructuring is allowed and variables are introduced by
? on its own denotes the anonymous variable which always matches).
<expression> is as defined in Forward Chaining Syntax.
which says that a link exists between two towns either if there is a link object between them in the object base or if there is a route between the towns. The
route-exists predicate would be defined by another backward chaining rule, or might be in the Prolog database.
Backward chaining rules may refer to the object base using the standard
(<class-name> <variable> [<slot-name> <term>]*) syntax, and these expressions are instantiated directly without creating any sub-goals. The
<class-name> of any CLOS class or KnowledgeWorks structure may not coincide with any backward chaining
<rule-name>. The Common Prolog database may be used to record factual information but it is distinct from the object base in that it may contain variables, and anything in it is inaccessible to the forward chaining rule preconditions.
(any <expr-to-instantiate> <expr-to-prove>)
(findall <expr-to-instantiate> <expr-to-prove>)
For other interface functions to be called from Lisp the reader is referred to Common Prolog.
From the action part of a forward chaining rule the backward chainer is called implicitly when a CLOS match or goal expression is used. The action part of forward chaining rules and the antecedents of backward chaining rules are syntactically and semantically identical.
Edinburgh syntax Prolog files may be compiled and loaded if they are given
.pl as a file extension. These are completely compatible with the KnowledgeWorks backward chaining rules. For more details refer to Edinburgh Syntax.
Backward chaining debugging follows the Prolog four port model. Backward chaining rules may be "spied" (this is a Prolog term which corresponds to tracing and single-stepping) which puts a break-point on them and means they can be single-stepped when they are invoked. When forward chaining debugging is on, the action part of forward chaining rules can be spied and single-stepped in the same way when they are fired. The Programming Environment, explains this in detail. The leashing of the ports can be adjusted, details are to be found in Debugging.
KnowledgeWorks and Prolog User Guide (Windows version) - 26 Feb 2015