2 Logic and learning: Turing's legacy S. Muggleton