A subfield of machine learning which uses logic to represent background knowledge and its examples, is known as Inductive Logic Programming.
