{"library":"logical-unification","install":[{"cmd":"pip install logical-unification","imports":["from unification import unify","from unification import var","from unification import reify","from unification.core import unifiable"]}]}