- Aussagenlogik
- Formel: (in konjunktiver Normalform)
- Modell: Belegung Variable → Boolean
- Prolog
- Formel: (Regelmenge, Programm)
- Modell: Belegung Variable → Term
- andere Bereiche (z. B. Zahlen)
- Formel: Constraint-System
(z. B. Gleichungssystem, Ungleichungssystem;
linear, polynomiell)
- Modell: Belegung Variable → Bereich
Johannes Waldmann
2010-01-25