is an instantiation object.
Returns an association list of the variables and their bindings in the
. The variables are those produced by the condition part of the forward chaining rule.
An association list, of the form
((?A . 1) (?B . RED))
KnowledgeWorks and Prolog User Guide (Unix version) - 4 Apr 2005