https://hackerpaper.kaipfister.de/p/2005.02259/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=26877471urn:hackerpapers:mention:2005.02259:26877471Tue, 20 Apr 2021 17:13:04 GMT<p>Statistics, no. Machine learning, yes. The most successful inductive programming approaches (learning programs from data) are Inductive Logic Programming approaches that basically learn Prolog programs from data. Prolog as a language with an automated deductive theorem prover as an interpreter is uniquely suited to learning new prorgams, because, it turns out, induction (learning new theories from observations and existing theories) is the inverse of deduction (explaining observations with existing theories). For some modern examples of learning Prolog programs with Prolog see: 1. Metagol…</p><p><a href="https://hackerpaper.kaipfister.de/p/2005.02259/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI