Ehud Y. Shapiro

• The Art of Prolog
• Algorithmic Program Debugging
• Art of Prolog