KnowledgeWorks and Prolog User Guide > 7 Reference Guide

NextPrevUpTopContentsIndex

conflict-set

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
(conflict-set ?conflict-set)
See also

instantiation
fire-rule


KnowledgeWorks and Prolog User Guide (Windows version) - 22 Dec 2009

NextPrevUpTopContentsIndex