NextPrevUpTopContentsIndex

context

Backward Chaining Goal
Syntax

context context-list

Arguments

context-list is a list of context names. Bound variables may be used.

Description

The given list of contexts is placed 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.

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

return


KnowledgeWorks and Prolog User Guide - 4 Apr 2005

NextPrevUpTopContentsIndex