emaxps-explain-why
==================

Syntax: (emaxps-explain-why)

Zeigt und begründet den momentanen Status des
Beweisprozesses (der Auswertung der Prolog-
Klauseln).

Aktiviert das interaktive grafische Frontend zum 
Erklärungsmechanismus der Babylon2 Inferenzmaschine.
Dadurch erscheint auch das Erklärungsfenster.