sebdumancic / microkanrenpy

A Pythonic implementation of *microkanren* logic language

μ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/