Pythological

Adding more symbolic computation and logic programming to Python

Pinned Repositories

etuples
Python S-expression emulation using tuple-like objects.
Language:Python21 3 96
kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language:Python173 9 3818
python-cons
An implementation of Lisp/Scheme-like cons in Python
Language:Python7 2 43
unification
Straightforward unification in Python that's extensible via generic functions.
Language:Python40 5 196

Pythological's Repositories

pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language:Python173 9 3818
pythological/unification
Straightforward unification in Python that's extensible via generic functions.
Language:Python40 5 196
pythological/etuples
Python S-expression emulation using tuple-like objects.
Language:Python21 3 96
pythological/python-cons
An implementation of Lisp/Scheme-like cons in Python
Language:Python7 2 43