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.
Last Updated
Mar 31, 2025 at 22:33
License
BSD-3-Clause
Total Downloads
3
Version Downloads
3
Supported Platforms
GitHub Repository
https://github.com/pythological/unificationDocumentation
https://github.com/pythological/unification/