The whole series is great! I especially enjoyed _The Reasoned Schemer_ [0] which serves as an introduction to the *kanren languages [1].

[0] https://mitpress.mit.edu/books/reasoned-schemer [1] http://minikanren.org/