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

instantiation Backward Chaining Goal

Summary

Find the next meta-interpreter rule instantiation that will fire.

Package

kw

Signature

instantiation variable

Arguments
variable
An unbound variable introduced by ?.
Description

The backward chaining goal instantiation is only relevant when writing a meta-interpreter for a context. instantiation binds variable to the next preferred instantiation from the conflict set of the currently executing context.

This goal may be satisfied repeatedly each time returning the next instantiation. When no instantiations are left, it fails.

Examples
(instantiation ?instantiation)
See also

conflict-set
inst-bindings
inst-rulename
inst-token
start-cycle
fire-rule
defcontext
standard-context


KnowledgeWorks and Prolog User Guide (Unix version) - 01 Dec 2021 19:35:49