Function

Syntax

infer &key ( contexts '(default-context))

Arguments

contexts is a list of context names.

Description

Starts the forward chaining inference engine 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.

Values

The total number of cycles executed (given in *cycle*).

Examples

(infer :contexts '(my-context another-context))

See also

*cycle*