massimo-nocentini / microkanrenpy Public

Notifications You must be signed in to change notification settings
Fork 2
Star 9

A Pythonic implementation of *microkanren* logic language

9 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 138 Commits
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

minikanren python3 logic-programming microkanren

Report repository

Releases

No releases published

Packages

No packages published

Languages