Backward Chaining Goal

Summary

Adds new contexts to the agenda.

Signature

context context-list

Arguments

context-list

A list of context names.

Description

The given list of contexts in context-list 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.

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