Cooking with Lisp

Another blog about Lisp, the world's greatest programming language.

Friday, June 11, 2004

Robert Kowalski's Logic for Problem Solving is Available Online

Labmda the Ultimate mentions that Robert Kowalski's great book Logic for Problem Solving is now available online. This book is one of the first, and in my opinion, still one of the best books on logic programming.

It's great to see some of the great classics becoming available online, like Tony Hoare's Communicating Sequential Processes earlier this year.


Post a Comment

<< Home