Pythological

All

4 repositories

unification
Public
Straightforward unification in Python that's extensible via generic functions.
python logic-programming unification multiple-dispatch
Python
•
Other
•7•43•7•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•21•4•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•7•2•0•Updated Sep 3, 2024Sep 3, 2024
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
•18•183•19•4•Updated Jan 30, 2023Jan 30, 2023