Pythological

All

4 repositories

kanren
Public
An extensible, lightweight relational/logic programming DSL written in pure Python
minikanren logic-programming symbolic-computation clp relational-programming constraint-logic-programming
Python
•
Other
•21•212•21•5•Updated Jun 19, 2025Jun 19, 2025
unification
Public
Straightforward unification in Python that's extensible via generic functions.
python logic-programming unification multiple-dispatch
Python
•
Other
•8•50•9•2•Updated Sep 3, 2024Sep 3, 2024
etuples
Public
Python S-expression emulation using tuple-like objects.
python s-expressions lisp-like
Python
•
Other
•7•23•6•0•Updated Sep 3, 2024Sep 3, 2024
python-cons
Public
An implementation of Lisp/Scheme-like cons in Python
python algebraic-data-types lisp-like scheme-like cons
Python
•
GNU Lesser General Public License v3.0
•3•8•3•0•Updated Sep 3, 2024Sep 3, 2024