v 0.4.7 Updated: 2 weeks, 6 days ago
Logical unification in Python
https//github.com/pythological/unification/