Besides The Reasoned Schemer, another <i>excellent</i> logic programming book is _The Art of Prolog_ by Sterling and Shapiro. While it uses Prolog rather than Lisp, it's overall focus is more on Logic Programming than Prolog specifically. It starts with the big ideas in Logic Programming and what they're theoretically capable of, and then shifts to Prolog, the most mainstream implementation of an LP language, and the design trade-offs it has made. (There are other great books more specific to Prolog, if you find you like it.)<p>Also, it has been out of print for a while, and the second edition can be pretty expensive ($90-100ish used). The first edition is much cheaper ($2-5), and while the second covers a newer version of Prolog and greatly expands on the "projects in Prolog" chapters, the first still covers the core LP concepts pretty well.