Option variable
context
Default value: initial
context
names the collection of facts maintained by assume
and forget
.
assume
adds facts to the collection named by context
,
while forget
removes facts.
Binding context
to a name foo changes the current context to foo.
If the specified context foo does not yet exist,
it is created automatically by a call to newcontext
.
The specified context is activated automatically.