I remember reading a copy of this from the university library when I was a student. I am really not sure if it was this edition or an earlier one.
At first I had some difficulty trying to run Prolog programs on my computer because the book used different punctuation than is used in the standard now. They used some fancy typeset glyphs that aren’t in ASCII in place of some of the operators, I think including some really important ones like \= and maybe even :-.
The reason I picked this up was because I was having difficulty sleeping and wanted something really dry and dense to knock myself out with. It was during holidays rather than term time.
It didn’t work at all. My insomnia was completely unaffected and I learned Prolog by accident instead.
Anyway, the book’s good. Maybe a bit long winded by contemporary standards. You will definitely understand all the fiddly bits of prolog after reading this thing, like what cuts really are, why negation is evil, and how you can (and even might want to) abuse predicates like var/1 to examine which variables have and haven’t been instantiated yet, plus why you very often don’t actually need to do that.
Is there an ebook for sale (not rent) somewhere? I imagine if there was one it’d be really expensive given that it costs $49.80 to rent for 12 months.
My heart always sinks when I see a super expensive computer science book.
The PDF is free. See the left column on the MIT page where it says “Open Access Title”, or alternatively download it here.
Ah ha! Thanks. I was hoping for an E-book, but I can do PDF :)