Skip navigation

Ehud Y. Shapiro

Titles by This Author

productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.

Advanced Programming Techniques

This new edition of The Art of Prolog contains a number of important changes.