NextPrevUpTopContentsIndex

return

Backward Chaining Goal
Syntax

return

Arguments

None.

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 (Macintosh version) - 4 Apr 2005

NextPrevUpTopContentsIndex