NextPrevUpTopContentsIndex

inst-bindings

Function
Syntax

inst-bindings instantiation

Arguments

instantiation is an instantiation object.

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.

Values

An association list, of the form ((?A . 1) (?B . RED)) .

See also

conflict-set

deftactic

inst-rulename

inst-token

instantiation


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex