4 ms·
I also highly recommend The Reasoned Schemer as another route to understanding the concepts behind Prolog - you essentially build the heart of a Prolog system i
by swannodette 16y ago
I also highly recommend The Reasoned Schemer as another route to understanding the concepts behind Prolog - you essentially build the heart of a Prolog system in a couple hundred lines of Scheme.
The level of density in such a short text as well the ability to work through it without having to sit in front of a computer is invigorating (I've had to reread the first 80 pages or so about 5 times now, of course it might just be that I'm slow ;). It certainly succeeds at showing the beauty of a system that elegantly intertwines FP w/ LP.
Oleg (of Haskell fame) has some excellent further resources, http://kanren.sourceforge.net/ http://kanren.sourceforge.net/ and William Byrd's thesis is a treasure trove of things to consider: http://gradworks.umi.com/33/80/3380156.html http://gradworks.umi.com/33/80/3380156.html
- silentbicycle 16y agoWilliam Clocksin's _Clause and Effect_ is a similarly styled book, using Prolog. It also has a couple good case studies. I also highly recommend Sterling and Shapiro's _The Art of Prolog_.
- swannodette 16y agoI've also heard only good things about the Bratko book, Prolog Programming for Artificial Intelligence. I'm curious as to what put you off about TRS? The only thing I found initially frustrating was the lack of hand-holding to be found in the earlier books in the Schemer series. But then I starting working out everything I found confusing w/ pencil and paper and found the going much easier.
- silentbicycle 16y agoI'm probably going to give it another try eventually, but I sold it - I preferred learning logic programming ideas through Prolog itself, rather than Scheme / KANREN. I've heard good stuff about the Bratko book, too - there's a new edition being published in a few months, I'm planning on checking it out then.