probKanren (scheme) is Probabilistic miniKanren, supporting Markov Chain Monte Carlo (MCMC)<p><a href="https:&#x2F;&#x2F;github.com&#x2F;webyrd&#x2F;probKanren" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;webyrd&#x2F;probKanren</a>