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).