v 0.4.6 Updated: 1 year, 5 months ago
Logical unification in Python
https//github.com/pythological/unification/