START   ENDE  PROLOG  CLP   ECLiPSe  SUCHE   FALLBEISPIEL   ZURÜCK  

CLP: Constraints

Beziehungen zwischen einer Menge von Variablen
X={x1,...,xn},
wobei die Werte,
die von Variablen angenommen werden können,
im Vordergrund stehen.

Die Wertemenge Wi einer Variablen xi wird Domain genannt.