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