Logic programming is an ideal platform for developing CSP solvers and all the problems in this collection have been written in BProlog. For compatibiliy with other Prolog compilers, the implementations do not use more advanced features like Arrays or Hash Tables and most of the code relies on standard predicates.
Simple puzzles
Intermediate problems
CSP Lib benchmark problems
An Introduction (K. Marriot, P.Stuckey)