Differentiable Inductive Logic Programming for Fraud Detection