return Backward Chaining Goal

Summary

Removes the top-most context from the agenda.

Package

kw

Signature

return

Description

The backward chaining goal return 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