inst-bindings Function

Summary

Returns the bindings in a rule instantiation.

Package

kw

Signature

inst-bindings instantiation => bindings

Arguments

instantiation⇩

An instantiation object.

Values

bindings

An association list.

Description

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

Examples

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