logique propositionnelle logique des prédicats datalog programmation logique
feuille de route sur config

Auswahl des Layouts*

Klassisches Design.
Modernes Design.

Geschwätzigkeit - Defaultwert*

  calmeverbeuxtrès verbeux

Systemeinstellungen*

Systemseitig ist die Anzahl der Variablen in einer Formel derzeit auf 6 Variablen beschränkt.*

* traduction non disponible