Backward Chaining Goal

Summary

Finds the current meta-interpreter rule instantiations.

Signature

conflict-set variable

Arguments

variable

An unbound KnowledgeWorks variable introduced by ?.

Description

This backward chaining goal is only relevant when writing a meta-interpreter for a context. It binds variable to the list of all existing rule instantiations in the currently executing context. This list is in the order preferred by the conflict resolution strategy for the context.

Examples

See also

instantiation
fire-rule