logical-unification
Logical unification in Python.
Logical unification in Python.
To install this package, run one of the following:
Straightforward Unification, extensible via dispatch. This project has been forked from https://github.com/mrocklin/unification/.
Summary
Logical unification in Python.
Information Last Updated
Sep 8, 2025 at 17:25
License
BSD-3-Clause
Total Downloads
12
GitHub Repository
https://github.com/pythological/unificationDocumentation
https://github.com/pythological/unification/