Technical Terms Inductive Logic Programming (ILP): A form of symbolic machine learning that infers generalised logic rules from specific examples and background knowledge.