# Inductive [[Logic Programming]] Stumbled about [[Inductive Logic Programming]] which might (might?) be related and interesting in the context of [[Logic Unification]] when programming with [[Large Language Models]] and [[Domain Specific Language|DSL]]. - [GitHub - logic-and-learning-lab/Popper: Popper is an inductive logic programming (ILP) system.](https://github.com/logic-and-learning-lab/Popper) - [Learning programs by learning from failures](https://arxiv.org/abs/2005.02259) - [Inductive logic programming at 30](https://arxiv.org/pdf/2008.07912.pdf) I found out about those on this Hacker News thread about [[Prolog]]: - [Prolog for Data Science | Hacker News](https://news.ycombinator.com/item?id=35855398)