Neural Markov Prolog