Summary
In this chapter, we looked at how Clojure can be used for logic programming. We introduced the core.logic library by exploring the various constructs provided by this library. We also studied how we can implement solutions to the n-queens problem and a Sudoku puzzle using the core.logic library.
In the following chapter, we will get back on our journey through functional programming and talk about handling asynchronous tasks in Clojure.