Inductive logic programming for learning language in logic

Stephen Muggleton and James Cussens