Einleitung, Definition

• endliches Universum U (z.B. [0, 1, 2, 3])
• (Funktionen und) Relationen auf U, z.B.
  • G(x, y) : = (x > y)
  • P(x, y, z) : = (x + y = z)
• ∃-quantifizierte Konjunktion von Atomen, z.B.

  ∃x, y, z : P(x, y, z)∧P(x, x, y)∧G(y, x)

das ist die historische Form der Constraint-Programmierung,

modern dargestellt in Krzysztof R. Apt: Principles of Constraint Progr., Cambridge Univ. Press 2003