SWIProlog
CLP(FD): Constraint Logic Programming over Finite Domains. Development of this library has moved to SICStus Prolog. Please see CLP(Z) for more information.. Introduction. This library provides CLP(FD): Constraint Logic Programming over Finite Domains.