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
Oct 31, 2025 at 12:25
License
BSD-3-Clause
Total Downloads
999
Supported Platforms
Unsupported Platforms
GitHub Repository
https://github.com/pythological/unificationDocumentation
https://github.com/pythological/unification