Aside from being one of my favorite programming books ever, and on par with SICP and PAIP I think, the font they used is really beautiful [1]. The PDF perhaps does not do it justice. On paper it's really crisp and pleasant to read.
I hope MIT Press opens up The Craft of Prolog [2] too, a fantastic sequel to The Art of Prolog.
[1] https://docs.microsoft.com/en-us/typography/font-list/lucida...
I wonder if the MIT Press — or the author — has the source files (presumably LaTeX) somewhere. It would be a shame to have a low-quality scan as the "definitive" archived version.
This book was set in TeX by Sarah Fliegelmann
at the Weizmann Institute of Science
and printed and bound by MIT Press
Look the page in a desktop browser. Directly below the book's cover, there's a “Resources”. To the right of that “Resources”, there are “Overview”, “Author(s)”, “Open Access”; and that “Open Access” is the one you want.