Algorithmic Program Debugging (ACM Distinguished Dissertation)

Category: Programming
Author: Ehud Y. Shapiro


by mycl   2017-12-08
The induction of logic programs in Prolog from examples was done by Ehud Shapiro's "Model Inference System" described in his PhD thesis, "Algorithmic Programming Debugging" (, in 1982.

This was one of the earliest inductive logic programming ( systems.