End-to-end Differentiable Proving
Fast relational learning using bottom clause propositionalization with artificial neural networks