End-to-end Differentiable Proving accepted at NIPS!