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

context Backward Chaining Goal

Summary

Adds new contexts to the agenda.

Package

kw

Signature

context context-list

Arguments
context-list
A list of context names.
Description

The backward chaining goal context adds new contexts context-list on top of the agenda (the context stack). The current context is not changed. It is an error if the named contexts do not exist.

If context-list contains variables, then they must be already bound.

Examples
(context (my-context))
(context (?x ?y)) ; if ?x ?y bound to context names
See also

return


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