May 25, 2008, 10:28:29 PM5/25/08
I just uploaded a file to the files area that implements a logic
programming system from the book "The Reasoned Schemer" in Clojure.
This book is a sequel to "The Little Schemer" and I was having a tough
time wrapping my head around the concepts, so I translated the system
to Clojure. The book shows how to extend Scheme to include
declarative logic programming, like Prolog. As I learned more, I
discovered this is also the basis of the pattern matching in Erlang.
If you're interested in logic programming, I would recommend "The
Little Schemer". Though as I said, I was having a tough time getting
it until I translated it to Clojure. Hopefully this will help others.