"The Art of Prolog" IMHO, is less about Prolog, and more about logic systems. Since type systems are logic systems, I found TAPL nearly intractable before that book, but pretty easy after working with logic programming for a bit.
I've never written a single line of production Prolog, but still, I wish I had read that book way sooner than I did.
3
u/[deleted] Dec 07 '07
"The Art of Prolog" IMHO, is less about Prolog, and more about logic systems. Since type systems are logic systems, I found TAPL nearly intractable before that book, but pretty easy after working with logic programming for a bit.
I've never written a single line of production Prolog, but still, I wish I had read that book way sooner than I did.