Title: The Art of Prolog
Subjects: Computer science