Function

Syntax

inst-bindings instantiation

Arguments

instantiation is an instantiation object.

Description

Returns an association list of the variables and their bindings in the instantiation . The variables are those produced by the condition part of the forward chaining rule.

Values

An association list, of the form ((?A . 1) (?B . RED)) .

See Also

conflict-set

deftactic

inst-rulename

inst-token

instantiation