conflict-set Backward Chaining Goal

Summary

Finds the current meta-interpreter rule instantiations.

Package

kw

Signature

conflict-set variable

Arguments

Description

The backward chaining goal conflict-set is only relevant when writing a meta-interpreter for a context. conflict-set 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

(conflict-set ?conflict-set)

See also

instantiation
fire-rule