In this paper, we describe a model combining neural networks with logic programming in a novel manner for solving multi-hop reasoning tasks over natural language.
we propose to use a Prolog prover which we extend to utilize a similarity function over pretrained sentence encoders.