Inductive Logic Programming 10th International Conference Ilp 2000 London Uk July 24 27 2000 Pr