v 0.4.6 Updated: 2 years, 4 months ago
Logical unification in Python
https//github.com/pythological/unification/