Logic Programming in Scheme

Lulu Press, 2012 – 2^nd edition – 53 pages – 6" x 9" format – free code

Order a paperback copy at Lulu.com
Order a PDF copy at Lulu.com
Download the code from the book

• What is logic programming?
• What are goals and queries?
• Why is negation hard in logic programming?
• What is cutting?
• How do I solve logic puzzles?
• How is logic programming implemented?

This small book answers all these questions in about 50 pages of prose.

Chapter 1 introduces basic logic programming techniques.

Chapter 2 applies the techniques to a well-known puzzle. (No, not the one on the cover page.)

Chapter 3 rolls your own logic programming system in 170 lines of Scheme.

The code in this book is purely functional, purely symbolic, and easy to follow.