-- Option variable: context Default value:
context names the collection of facts maintained by
assume adds facts to the collection named by
forget removes facts.
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.
contexts for a general description of the context mechanism.
There are also some inexact matches for
?? context to see them.
(%o1) true (%i2)