{"library":"logical-unification","title":"Logical Unification","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","last_verified":"Fri May 15","install":{"commands":["pip install logical-unification"],"cli":null},"imports":["from unification import unify","from unification import var","from unification import reify","from unification.core import unifiable"],"auth":{"required":false,"env_vars":[]},"quickstart":{"code":"from unification import unify, var, reify\n\nx = var()\ny = var()\n\n# Unify constants\nprint(f\"Unify(1, 1): {unify(1, 1)}\")\nprint(f\"Unify(1, 2): {unify(1, 2)}\")\n\n# Unify with a variable\nprint(f\"Unify((1, x), (1, 2)): {unify((1, x), (1, 2))}\")\n\n# Unify multiple variables where they must be the same\nprint(f\"Unify((x, x), (1, 2)): {unify((x, x), (1, 2))}\")\n\n# Reify a term with a substitution\nsubstitution = unify((1, x), (1, 2))\nif substitution:\n    print(f\"Reify((1, x), {substitution}): {reify((1, x), substitution)}\")\n\n# Unify dictionaries\nprint(f\"Unify({{\\\"a\\\": 1, \\\"b\\\": 2}}, {{\\\"a\\\": x, \\\"b\\\": 2}}): {unify({\"a\": 1, \"b\": 2}, {\"a\": x, \"b\": 2})}\")","lang":"python","description":"This quickstart demonstrates the core `unify` and `reify` functions, along with creating logic variables using `var()`. It shows how to unify basic Python types like integers and tuples, and how to apply the resulting substitutions to reify terms. Dictionaries are also supported for unification.","tag":null,"tag_description":null,"last_tested":null,"results":[]},"compatibility":{"tag":null,"tag_description":null,"last_tested":"2026-05-15","installed_version":"0.4.7","pypi_latest":"0.4.7","is_stale":false,"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.8,"avg_import_s":0.12,"wheel_type":"wheel"},"results":[{"runtime":"python:3.10-alpine","python_version":"3.10","os_libc":"alpine (musl)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":null,"import_time_s":0.13,"mem_mb":4.4,"disk_size":"18.6M"},{"runtime":"python:3.10-slim","python_version":"3.10","os_libc":"slim (glibc)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":1.9,"import_time_s":0.08,"mem_mb":4.4,"disk_size":"19M"},{"runtime":"python:3.11-alpine","python_version":"3.11","os_libc":"alpine (musl)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":null,"import_time_s":0.18,"mem_mb":5.1,"disk_size":"20.6M"},{"runtime":"python:3.11-slim","python_version":"3.11","os_libc":"slim (glibc)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":1.9,"import_time_s":0.14,"mem_mb":5.1,"disk_size":"21M"},{"runtime":"python:3.12-alpine","python_version":"3.12","os_libc":"alpine (musl)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":null,"import_time_s":0.13,"mem_mb":5,"disk_size":"12.4M"},{"runtime":"python:3.12-slim","python_version":"3.12","os_libc":"slim (glibc)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":1.7,"import_time_s":0.14,"mem_mb":5,"disk_size":"13M"},{"runtime":"python:3.13-alpine","python_version":"3.13","os_libc":"alpine (musl)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":null,"import_time_s":0.12,"mem_mb":5,"disk_size":"12.2M"},{"runtime":"python:3.13-slim","python_version":"3.13","os_libc":"slim (glibc)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":1.7,"import_time_s":0.12,"mem_mb":5,"disk_size":"13M"},{"runtime":"python:3.9-alpine","python_version":"3.9","os_libc":"alpine (musl)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":null,"import_time_s":0.11,"mem_mb":4.3,"disk_size":"18.1M"},{"runtime":"python:3.9-slim","python_version":"3.9","os_libc":"slim (glibc)","variant":"logical-unification","exit_code":0,"wheel_type":"wheel","failure_reason":null,"import_side_effects":"clean","install_time_s":2,"import_time_s":0.08,"mem_mb":4.3,"disk_size":"19M"}]}}