3 books
The Logic Programming Tutor
The Transparent Prolog Machine: Visualizing Logic Programs
The Transparent Prolog Machine