The induction of logic programs in Prolog from examples was done by Ehud Shapiro... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

mycl on Dec 5, 2017 | parent | context | favorite | on: Barliman – real-time program synthesis to make the...

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.

tluyben2 on Dec 5, 2017 [–]

ILP + IFP are nice subjects to read about for this kind of thing. At university a number of people believed ILP and/or neural networks and/or genetic programming would replace programmers shortly. That didn't happen (this was around 25 years ago) but it's still interesting material great to learn from.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact