Inductive Logic Programming
Explanation-based generalization: A unifying view