Hindley-Milner Algorithm W type inference engine implementing Robinson first-order syntactic unification and principal polymorphic type reconstruction.
-
Updated
Sep 9, 2026 - Python
#
robinson-unification
Here are 7 public repositories matching this topic...
Hindley-Milner Algorithm W type inference engine implementing Robinson first-order syntactic unification and principal polymorphic type reconstruction.
-
Updated
Sep 9, 2026 - Python
First-Order Logic Robinson unifier and SLD-resolution proof generator bridging neuro-symbolic reasoning with symbolic substitution trees.
-
Updated
Sep 10, 2026 - Python
Robinson's first-order term unification algorithm with occurs-check for automated theorem proving, Prolog engines, and type inference.
prolog theorem-proving first-order-logic type-inference robinson-unification agentic-ai genpark-skill
-
Updated
Sep 10, 2026 - Python
Robinson's first-order term unification algorithm with occurs-check for automated theorem proving, Prolog engines, and type inference.
prolog theorem-proving first-order-logic type-inference robinson-unification agentic-ai genpark-skill
-
Updated
Sep 10, 2026 - Python
First-Order Logic Robinson unifier and SLD-resolution proof generator bridging neuro-symbolic reasoning with symbolic substitution trees.
-
Updated
Sep 10, 2026 - Python
The purpose of this final course project is to write a program that implements the unification algorithm.
-
Updated
Jul 1, 2023 - Haskell
Add this topic to your repo
To associate your repository with the robinson-unification topic, visit your repo's landing page and select "manage topics."