{"categories":[{"label":"Libraries","url":"https://skillfed.io/packages/category/software-development-libraries/4"}],"enrichment":{"capability":"Logical unification in Python with support for pattern matching and custom data types, extensible via dispatch on toolz and multipledispatch.","skillfed_tags":["logic-programming","pattern-matching","symbolic-computation"],"use_cases":["Extract values from nested data structures using pattern matching with logic variables instead of manual traversal.","Implement logic-programming-style algorithms like recursive pattern matching (e.g., Fibonacci via pattern dispatch).","Route or dispatch function calls based on complex structural patterns in dictionaries or custom objects.","Unify and reify custom domain objects (e.g., Account records) to find matching instances or extract fields.","Build symbolic computation systems where you need to reason about term equivalence and substitution."],"what_it_does":"Logical unification is a computer science technique for finding substitutions that make different terms equivalent. This package implements unification in Python, allowing you to match patterns against data structures and extract variable bindings. It supports built-in Python types (tuples, dicts, namedtuples) and can be extended to custom classes via the @unifiable decorator.\n\nThe package also provides pattern-matching dispatch, letting you define multiple function implementations that are selected based on pattern matching against arguments. It uses a generator-based design to handle deeply nested structures without hitting Python's recursion limit, making it suitable for symbolic computation, logic programming, and complex pattern-based control flow.","worth_installing":"Yes. The package is actively maintained, has no known vulnerabilities, installs with low friction, and offers a unique capability for pattern matching and logical unification that is not easily replicated with standard Python. It is well-suited for logic programming, symbolic computation, and complex pattern-based dispatch. The BSD-3-Clause license is permissive and poses no barrier."},"id":"logical-unification","links":{"html":"https://skillfed.io/packages/logical-unification","md":"https://skillfed.io/packages/logical-unification.md","pypi":"https://pypi.org/project/logical-unification/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2025-10-20","license_spdx":"BSD-3-Clause","license_treatment":"permissive","name":"logical-unification","python_support":"supports_current","summary":"Logical unification in Python"},"popularity":{"monthly_downloads":1268792,"position":4133,"tier":"top_5000"},"security":{"n_vulnerabilities":0},"version":"0.4.7"}