Real World Programming in SWI-Prolog

CLP(FD) Constraint Logic Programming over Finite Domains