Table of Contents

Function Onto-Load

Just like COMMON-LISP:LOAD, except that loading is done with *DISABLE-THEORY-SWITCHING-SIDE-EFFECTS* bound to T and with fresh bindings of *CURRENT-THEORY* and *IMPLEMENTATION*. This is necessary to limit the effect of IN-THEORY and IN-IMPLEMENTATION forms to the file which contains them.

NOTE: In most Ontolingua ports, COMMON-LISP:LOAD is "advised" to make the appropriate bindings