AI algorithms, data structures, and idioms in Prolog, Lisp, and Java , The PDF format is the document corresponding to the printed book.