Logical unification in Python

WWW: https//github.com/pythological/unification/
