Algorithmic Program Debugging (ACM Distinguished Dissertation)

Category: Programming
Author: Ehud Y. Shapiro
4.0

Comments

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" (https://www.amazon.com/Algorithmic-Program-Debugging-Disting...), in 1982.

This was one of the earliest inductive logic programming (https://en.wikipedia.org/wiki/Inductive_logic_programming) systems.