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.
KnowledgeWorks and Prolog User Guide (Unix version) - 24 Mar 2017