inductive logic programming

Inductive logic programming (ILP) is a subfield of machine learning  which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive an hypothesised logic program which entails all the positive and none of the negative examples.
See more at Wikipedia.org...