Repository navigation

microkanrenpy

Public

About

A Pythonic implementation of *microkanren* logic language

logic-programming microkanren minikanren python3

10 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
docs		docs
documentation		documentation
src		src
.gitignore		.gitignore
.readthedocs.yml		.readthedocs.yml
.travis.yml		.travis.yml
README.md		README.md

Repository files navigation

μkanrenpy

A pythonic implementation of the relational interpreter μkanren in the family of miniKanren languages.

A comprehesive documentation (read latest) is hosted at https://readthedocs.org/projects/microkanrenpy/

About

A Pythonic implementation of *microkanren* logic language

logic-programming microkanren minikanren python3

10 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages