Project for a talk on clojure core logic's finite domain API for constraint programming.