Motivation
Large databases - screening, human genome, natural language.
Industry increasingly knowledge-driven.
Procedural or declarative?
Declarative - logical representation.
Inductive logic programming (ILP).
