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

conflict-set Backward Chaining Goal

Summary

Finds the current meta-interpreter rule instantiations.

Package

kw

Signature

conflict-set variable

Arguments
variable
An unbound KnowledgeWorks variable introduced by ?.
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


KnowledgeWorks and Prolog User Guide (Windows version) - 01 Dec 2021 19:36:03