The Constraint-Editor
=====================

Constraints can be edited and created via the
constraint editor.
To select the respective knowledge base you have
to click on the field with the label "Knowledge Base".
The field below enables the selection of a constraint.
To create a new constraint, enter the new name in the
field selection of the selection menue.

The Edit menu:

- Apply this Constraint...
       The modified constraint will be transfered into
       the knowledge base. 
- Delete this Constraint...
       This constraint will be removed from the
       knowledge base.
- Undo Changes
       The old constraint definition is reloaded
       from the knowledge base.

Constraint 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].