initialize-network [Function]
Purpose
The initialize-network function clears all contexts by destroying the concepts, relations, instances, and behaviors that they contain. It also rebuilds the top-level context, built-in-theory, populating it with concepts such as Thing, Constant, etc. Previously declared contexts are preserved, but they are now empty.
Syntax
initialize-network &key destroy-contexts-p
Arguments
If the destroy-contexts-p argument is t, Loom clears and rebuilds built-in-theory, clears bottom-theory, and destroys all other contexts.
Value
The {initialize-network} function returns the current context. If destroy-contexts-p causes contexts to be destroyed (rather than just cleared), built-in-theory becomes the current context.
Examples
(initialize-network) ==> |K|CL-USER-THEORY
(initialize-network :destroy-contexts-p t) ==> |K|BUILT-IN-THEORY
See Also
Last modified: Jun 1 1995