infer Function

Summary

Runs the forward chaining inferencing engine.

Package

kw

Signature

infer &key contexts => cycle-count

Arguments

Values

Description

The function infer 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