NextPrevUpTopContentsIndex

inst-bindings

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


KnowledgeWorks and Prolog User Guide (Windows version) - 11 Jul 2006

NextPrevUpTopContentsIndex