Anfang weiterAusdruckskraft
Constraint-Expressions kombinieren Prädikate (Funktionen). Funktionen können alles abbilden, was eine Turing-Maschine abbilden kann (sind Turing-vollständig) Alle Möglichkeiten der Aussagenlogik nutzbarConstraint-Code-Generator
Verknüpft Prädikate mit AND, OR sowie NOT (XOR) (Basis meines Code-Generators)