Straightforward unification in Python that's extensible via generic functions.
Python
53
99 commits
updated Feb 25, 2026
logic-programming
multiple-dispatch
python
unification
Contributors
Languages
Python
93.6%
Makefile
6.4%
Straightforward unification in Python that's extensible via generic functions.
Python
53
99 commits
updated Feb 25, 2026
logic-programming
multiple-dispatch
python
unification
Contributors
Languages
Python
93.6%
Makefile
6.4%