Function

Summary

Returns the bindings in a rule instantiation.

Signature

inst-bindings instantiation => bindings

Arguments

instantiation

An instantiation object.

Values

bindings

An association list.

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.

Example

For an instantiation of a rule with the precondition

(object ? color ?color-value size ?size)

the value returned by

(inst-bindings inst)

might be

((?color-value . :red) (?size . 20))

See also

conflict-set
deftactic
inst-rulename
inst-token
instantiation