Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting