Differentiable Inductive Logic Programming in High-Dimensional Space