Inductive Logic Programming
Logical depth and physical complexity