Pythological

Adding more symbolic computation and logic programming to Python

Pinned Repositories

etuples
Python S-expression emulation using tuple-like objects.
Language:Python21 2 97
kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language:Python187 8 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:Python43 5 197

Pythological's Repositories

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