Yet Another Efficient Unification Algorithm
-
Updated
Oct 10, 2025 - Go
#
unification-algorithm
Here are 21 public repositories matching this topic...
Implementation of Steensgaard's pointer analysis for Go
-
Updated
Aug 31, 2023 - Go
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
Mujeed (مُجيد) is a development environment for logic programming in Arabic language
-
Updated
Mar 17, 2017 - Java
Learning Invariants through Soft Unification
-
Updated
Oct 17, 2020 - Jupyter Notebook
OptionCell: OnceCell but derivable from Option
-
Updated
Sep 10, 2023 - Rust
Stuff related to my Ph.D. research
-
Updated
Aug 8, 2023 - Haskell
Prove or disprove the given query based on the knowledge base
parsing cpp strings tokenizer cpp14 first-order-logic artificial-intelligence inference-engine inference-rules unification-algorithm resolution-proof
-
Updated
Oct 26, 2018 - C++
The Prolog Unification algorithm
-
Updated
Apr 19, 2020 - Java
Inteligenta Artificiala - UPB 2020-2021
constraint-satisfaction-problem monte-carlo-tree-search branch-and-bound iterative-deepening-a-star unification-algorithm and-or-search learning-realtime-astar
-
Updated
Jan 26, 2021 - Jupyter Notebook
Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic
-
Updated
Aug 10, 2018 - Java
Algorithmic Maths Engine
-
Updated
Sep 19, 2021 - Python
-
Updated
Dec 4, 2020 - Python
Designed a self-service automated system to alert patients/customers about potential drug interactions for both prescription and over the counter drugs.
-
Updated
Nov 5, 2020 - Python
Robinson's Unification Algorithm of First Order Logic Terms
-
Updated
Sep 22, 2021 - Java
lab assignments of cs3130 course in iitpkd
-
Updated
Dec 30, 2020 - Standard ML
«Школа 21» — бесплатная школа цифровых технологий от Сбера, где может учиться любой желающий.
c git bash strings structures matrices arrays tree-structure characters recursive-algorithm text-processing callbacks pointers multidimensional-arrays varargs unification-algorithm dynamic-memory-allocation iterative-algorithms binary-files multifile-programming
-
Updated
Nov 17, 2025 - C
-
Updated
Mar 24, 2025
A unification implementation for JSON.
-
Updated
Dec 18, 2018
Descriptions & implementations of type-reconstruction/inference algorithms.
-
Updated
Oct 4, 2021 - Coq
Improve this page
Add a description, image, and links to the unification-algorithm topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unification-algorithm topic, visit your repo's landing page and select "manage topics."