SWI-Prolog's home. Inductive Logic Programming. Introduction to ILP Inductive Logic Programming (ILP) is a research area formed at the intersection of Machine Learning and Logic Programming.
ILP systems develop predicate descriptions from examples and background knowledge. The Association of Logic Programming (ALP)