NextPrevUpTopContentsIndex

return

Backward Chaining Goal
Summary

Removes the top-most context from the agenda.

Signature

return

Description

Takes the topmost context on the agenda and makes it the current context, discarding the previous current context. When called from within a rule, rule execution continues to the end and the next rule to fire will be from the new current context.

Examples

(return)

See also

context


KnowledgeWorks and Prolog User Guide (Unix version) - 29 Feb 2008

NextPrevUpTopContentsIndex