logical-unification
Logical unification in Python.
- Overview
- Files 10
- Labels 2
- Badges
Installation
To install this package, run one of the following:
Usage Tracking
0.4.6
1 / 8 versions selected
Total downloads: 0
Description
Straightforward Unification, extensible via dispatch. This project has been forked from https://github.com/mrocklin/unification/.
About
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/