Using logic programming (Clojure's core.logic) for test data manipulation and generation - View it on GitHub