NextPrevUpTopContentsIndex

infer

Function
Summary

Runs the forward chaining inferencing engine.

Signature

infer &key ( contexts '(default-context)) => cycle-count

Arguments

contexts

A list of context names.

Values

cycle-count

An integer.

Description

Runs the forward chaining inference engine in the current inferencing state, with contexts as the initial agenda. The first rules to fire will be from the first context listed in contexts until control is passed on.

The value returned as cycle-count is the total number of cycles executed (given in current-cycle).

Examples
(infer :contexts '(my-context another-context))
See also

current-cycle


KnowledgeWorks and Prolog User Guide (Macintosh version) - 29 Feb 2008

NextPrevUpTopContentsIndex