The Main Menu
=============

The main menu appears at the end of the boot phase.
All necessary operations will be introduced from its
menu pane.

The File menu:

- Statistics ...
       Displays the number of different knowledge base
       constructs containted within the current KB.
- New ...
       Creates a new KB and makes it current.
- Load ...
       Loads a new KB from a EMA-XPS or babylon3 stylus
       file and makes it current. babylon3 KBs are
       translated into EMA-XPS style during loading.
       WARNING: Babylon2 KB files can NOT be read cor-
                rectly!
- Save ...
       Saves the current KB in EMA-XPS KB file format
       using its current file name. This operation is
       unavailable with newly created KBs.
- Save As ...
       Stores the current KB in EMA-XPS KB file format
       using another file name. 
- Close
       Removes the current KB from the list of KBs
       known to the inference engine.
- 1 ... 9 [>] KNOWLEDGEBASENAME [!!#]
       Displays all knowledge bases, currently known
       to the inference engine. the current KB is mar-
       ked by a '>' sign.
       When a knowledge base has been changed, a sharp
       sign "#" behind the name of that KB in the
       [File] menu displays differences between the
       version stored in the file and the version of
       the KB within the LISP world.
       When the string "!!" is displayed, Changes
       within the knowledge editors are marked, which
       differ from the contents of the LISP world.
       Those changes do not take effect to session runs
       or rewriting to KB files, yet!
- Quit
       Exits EMA-XPS.

The Edit menu:
- Frame ...
- Instance ...
- Behavior ...
- Rule ...
- Prolog ...
- Constraint ...
- Constraint Net ...
- Restriction ...
- Task ...
- Miscelaneous ...
       As soon as a current KB exists, the graphic
       knowledge editors are available. More infor-
       mation concerning the editors is available at
       the help page "introducing the editors".

The Session menu:
- Run
       Starts a session with the current KB.
- Debugger ...
       Displays the debugger front end. It appears
       automatically when runtime errors occur.
- Explanation Window ...
       Displays the explanation window. It appears
       automatically as a reaction to explanation
       requests from within the KB.
- Tracer ...
       Enables outputting of tracing information at
       session runtime.

The runtime version of EMA-XPS does not offer the
menu "Edit" and the button "Tracer" in the "Session"
menu.