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

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


KnowledgeWorks and Prolog User Guide (Windows version) - 01 Dec 2021 19:36:03