logical-unification (conda): Straightforward unification in Python that's extensible via generic functions.
Keywords: logic-programming|multiple-dispatch|python|unification