probKanren

Probabilistic miniKanren, supporting Markov Chain Monte Carlo (MCMC). Jointly developed with Rob Zinkov.

Name		Name	Last commit message	Last commit date
Latest commit History 241 Commits
attic		attic
oldsrc		oldsrc
LICENSE		LICENSE
README.md		README.md
delayed-goal-defs.scm		delayed-goal-defs.scm
delayed-goal-tests.scm		delayed-goal-tests.scm
match.scm		match.scm
mk.scm		mk.scm
mkdefs.scm		mkdefs.scm
mktests.scm		mktests.scm
pK-tests.scm		pK-tests.scm
test-check.scm		test-check.scm
transform-examples.scm		transform-examples.scm
transform.scm		transform.scm
utils-tests.scm		utils-tests.scm
utils.scm		utils.scm

Provide feedback