3 ms·
> "The Art of Prolog" and "The Craft of Prolog" were also two of the better programming books I have read in my life. IMHO, The Art of Prolog is along with Con
by nextos 3y ago
> "The Art of Prolog" and "The Craft of Prolog" were also two of the better programming books I have read in my life.
IMHO, The Art of Prolog is along with Concepts, Techniques, and Models of Computer Programming, Paradigms of AI Programming, and Structure and Interpretation of Computer Programs the canon of dynamically typed programming. The Craft of Prolog is also exceptional but has some chapters that are too specific to programming in old Prolog systems and thus outdated.
Lots of Prolog ideas live in answer set programming and Datalog. The latter is fantastic to build state-of-the-art static analyzers [1].
[1] https://arxiv.org/abs/2012.10086 https://arxiv.org/abs/2012.10086
- pmcjones 3y agoRe old Prolog systems, lots of them are described here: https://www.softwarepreservation.org/projects/prolog/ https://www.softwarepreservation.org/projects/prolog/
- phforms 3y agoFor anyone interested in “The Art of Prolog”, which seems to be quite expensive as a print book, there is an Open Access version available as a PDF at MIT Press: https://mitpress.mit.edu/9780262691635/the-art-of-prolog/ https://mitpress.mit.edu/9780262691635/the-art-of-prolog/ I might be buying the book if I really like it to support the authors, but it’s great that they made it available for everyone.
- linsomniac 3y agoSeems to be a few copies on ebay for ~$30. I got my copy back in the (gasp) '80s from the neighborhood B. Dalton's or something, and it totally changed the way I thought about the roles of code and data. It's one of the handful of books that have survived all my library downsizing, along with The Tao of Programming, the bible, the dragon book...