The forward chaining rule interpreter may be invoked by the Lisp function
(infer [:contexts <context-list>])
where
<context-list>
is a list of contexts where control is passed immediately to the first in the list, and the rest are placed at the top of the agenda. The object base may or may not be empty when the forward chainer is started. The
infer
function returns the final cycle number. When not specified,
<context-list>
defaults to
(default-context)
.
KnowledgeWorks and Prolog User Guide (Unix version) - 6 Dec 2011