The Prolog-Editor
=================

Horn clauses(axioms) can be edited and created
via the prolog editor.
To select and create axiom sets you have to click
on the field with the label "Axiom Set". To create
a new axiom set, enter the new name in the field
selection of the selection menue.

The Edit menu:

- Apply this Axiom Set...
       The changed axiom set will be transfered
       to the LISP world.
- Delete this Axiom Set...
       The axiom set will be removed from the
       LISP world.
- Undo Changes
       The old axiom set definition is reloaded
       from the knowledge base.
- Link Axiom Sets to KBs...
       This Linker popup enables linking of one
       axiom set as the "fixed" clauses to the
       selected KB, as well as any other "free"
       axiom set including their order of prece-
       dence. This is achieved by the buttons
       "before" and "after". The popup grants
       that only one axset per KB may be made
       the fixed one, and that the fixed axset
       cannot be selected to be a free one,
       too.
       The button "<< <<" removes a free axset
       from the KB and relpaces it in the list
       of remaining sets in the middle of the
       dialog.
       The "Undo" button reloads the unmodified
       linklist of the chosen KB links again,
       "Apply" transfers the modifications to
       the knowledge base.

Axiom set modifications, not yet updated in the KB,
are displayed by an exclamation mark in the top right
corner.

Help on the syntax of babylon- and lisp-expressions 
can be requested by placing the text cursor into a
word in the text fields of the editors, followed by
a keypress on the [Help]-Button [F1].