検索ワード: klauselmenge (ドイツ語 - 英語)

- diese klauselmenge löschen...
- delete this axiom set...

dieser klauselmenge wird lisp-seitig entfernt.
the axiom set will be removed from the lisp world.

das bearbeiten-menü: - diese klauselmenge übernehmen...
the edit menu: - apply this axiom set...

== vorgehensweise ==sei eine einheitsklausel formula_1 in der klauselmenge gegeben.
==definition==the procedure is based on unit clauses, i.e.

diese klauselmenge kann man durch anwendung dieser zwei regeln vereinfachen, wobei formula_5 die einheitsklausel ist.
the application of these two rules lead to a new set of clauses that is equivalent to the old one.

zur auswahl und zum erstellen von klauselmengen ist das feld neben dem label "klauselmenge" anzu- klicken.
to create a new axiom set, enter the new name in the field selection of the selection menue.

der darunter liegende "<< <<"-knopf löst eine freie klauselmenge wieder von der wissensbasis und bringt sie somit wieder in das mittlere fenster.
the button "<< <<" removes a free axset from the kb and relpaces it in the list of remaining sets in the middle of the dialog.

eine noch nicht in die wissensbasis übertragene Ände- rung einer zuordnung oder einer klauselmenge wird durch ein ausrufezeichen in der rechten oberen ecke ange- zeigt.
axiom set modifications, not yet updated in the kb, are displayed by an exclamation mark in the top right corner.

der prolog-editor ================= mit dem prolog-editor können prolog-klauseln und klauselmengen editiert und erstellt werden.
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".