End-to-End Differentiable Proving - View it on GitHub