Inductive logic programming
Background knowledge.
Protein sequence, car assembly dependencies, problem-specific constraints.
Examples.
Molecules, cars.
Hypothesis.
Explanation of molecular 3-D shape, faulty paint application.
