GitHub / pythological 4 Repositories
Adding more symbolic computation and logic programming to Python
pythological/kanren
An extensible, lightweight relational/logic programming DSL written in pure Python
Language: Python - Size: 539 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 212 - Forks: 20
pythological/etuples
Python S-expression emulation using tuple-like objects.
Language: Python - Size: 79.1 KB - Last synced at: about 13 hours ago - Pushed at: 10 months ago - Stars: 23 - Forks: 7
pythological/unification
Straightforward unification in Python that's extensible via generic functions.
Language: Python - Size: 120 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 50 - Forks: 7
pythological/python-cons
An implementation of Lisp/Scheme-like cons in Python
Language: Python - Size: 71.3 KB - Last synced at: 13 days ago - Pushed at: 10 months ago - Stars: 8 - Forks: 3