Comment by mynameisbahaa

What is the name of that "prolog book" ?