{"library":"logical-unification","type":"library","category":null,"description":"Logical Unification is a Python library that provides capabilities for logical unification, a core concept in logic programming and automated reasoning. It enables solving equations between symbolic expressions by finding substitutions for variables. The library is a fork of the original 'unification' project, designed with a generator-based approach to handle deeply nested structures efficiently and avoid Python's recursion limits. It is currently at version 0.4.7 and receives periodic updates focusing on features and maintenance.","language":"python","status":"active","version":"0.4.7","tags":["logic","unification","logic programming","declarative programming","solver","pattern matching"],"install":[{"cmd":"pip install logical-unification","imports":["from unification import unify","from unification import var","from unification import reify","from unification.core import unifiable"]}],"homepage":null,"github":"https://github.com/pythological/unification","docs":null,"changelog":null,"pypi":"https://pypi.org/project/logical-unification/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.8,"avg_import_s":0.12,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/logical-unification/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}