CLP(FD)

Constraint Logic Programming (Finite Domains)

A constraint logic programming language over Finite Domains.