All Manuals > KnowledgeWorks and Prolog User Guide > 7 Reference Guide

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) - 26 Feb 2015

NextPrevUpTopContentsIndex