Backward Chaining Goal

Syntax

fire-rule instantiation

Arguments

instantiation is an instantiation object.

Description

Fires the given rule instantiation. An error results if the passed object is not an instantiation object.

Examples

(fire-rule ?instantiation)

See also

conflict-set

inst-bindings

inst-rulename

inst-token

instantiation