Straightforward unification in Python that's extensible via generic functions.
-
Updated
Feb 25, 2026 - Python
#
unification
Here are 26 public repositories matching this topic...
AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)
simplification symbolic-regression unification lifelong-learning ai-physicist differentiable-divide-and-conquer
-
Updated
Feb 20, 2021 - Python
Logic Programming in Python
computer-algebra minikanren logic-programming sat-solver unification relational-reasoning relational-programming
-
Updated
Sep 28, 2021 - Python
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
-
Updated
Mar 1, 2023 - Python
Prolog implemented in Python
-
Updated
Sep 6, 2024 - Python
NuScenes, Lyft, Waymo and a2d2 datasets parser.
-
Updated
Aug 16, 2022 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover
mcp theorem-proving first-order-logic unification python-standard-library automated-deduction formal-logic predicate-calculus resolution-refutation agent-skills robinson-unifier
-
Updated
Sep 28, 2026 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover
mcp theorem-proving first-order-logic unification python-standard-library automated-deduction formal-logic predicate-calculus resolution-refutation agent-skills robinson-unifier
-
Updated
Sep 28, 2026 - Python
Programs developed for CSCI561 Foundations of Artificial Intelligence course
python search agent language astar-algorithm first-order-logic minimax alpha-beta-pruning unification game-playing uniform-cost-search bfs-algorithm backward-chaining unification-algorithm halma resolution-algorithm
-
Updated
May 20, 2020 - Python
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
-
Updated
Mar 11, 2024 - Python
-
Updated
Apr 14, 2023 - Python
-
Updated
Mar 16, 2021 - Python
This is an investigation into the mechanisms that make up our reality.
-
Updated
Jan 6, 2026 - Python
Graph-first intermediate language for auditable LLM-generated graph queries and updates.
graph dsl knowledge-graph graph-database query-language traceability unification human-in-the-loop ai-agents intermediate-language graph-query-language m-expression llm llm-tools evals constrained-generation auditable-systems semantic-events
-
Updated
Jun 14, 2026 - Python
First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3
-
Updated
May 10, 2021 - Python
Rule-based recognition of Spanish robot commands using a feature-based grammar and semantic parsing
nlp nltk computational-linguistics unification semantic-parsing spanish-language feature-based-grammar rulle-based-nlp
-
Updated
Mar 24, 2026 - Python
what if I had to make a datalog in a cabin with no internet
-
Updated
Aug 17, 2025 - Python
Add this topic to your repo
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."