Prolog can (sometimes) "reverse execute" a specification, not generalize from ex... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

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

Prolog can (sometimes) "reverse execute" a specification, not generalize from examples. It's like saying "a cat has a round face and pointy ears" versus "look at these cat pictures". (Versus "draw an oval and then draw two triangles at the top...")

mycl on Dec 5, 2017 [–]

But generalising from examples has been a research topic in the Prolog community since at least the early 80s. The field is called inductive logic programming (https://en.wikipedia.org/wiki/Inductive_logic_programming).

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