logical-unification (pypi): Logical unification in Python
Keywords: unification|logic-programming|dispatch|multiple-dispatch|python