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.