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.
This new edition of The Art of Prolog contains a number of important changes.
One Rogers Street
Cambridge MA 02142-1209
Suite 2, 1 Duchess Street
London, W1W 6AN, UK