Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren - View it on GitHub