Hands-on Clojure: core.logic

core.logic (https://github.com/clojure/core.logic) is a logic programming library for Clojure & ClojureScript, offering Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure.

In this tutorial introduction, we take a look at some of its features and build up to solving problems such as travel planning, n-queens, and sudoku.