Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren