main
clear / load / save
roadmap
about
Auswahl des Layouts
*
Klassisches Design.
Modernes Design.
Geschwätzigkeit - Defaultwert
*
quiet
verbose
very verbose
Einstellungen für Logikprogrammierung
*
Variablen dürfen mit _ beginnen.
Systemeinstellungen
*
Systemseitig ist die Anzahl der Ableitungen während der Berechnung von Anfragen auf Logikprogramme auf maximal 500 beschränkt.
*
*
translation not available
