Naive square packing algorithm using Clojure core.logic CLP(FD)