slide 10

Constraint Languages Express Rules

for example structural or data type rules