Yet Another Efficient Unification Algorithm
-
Updated
Oct 10, 2025 - Go
#
unification-algorithm
Here are 23 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
Отборочный «бассейн» «Бассейн» — это проверка твоей мотивации и обучаемости, а также «золотой билет» в мир специальностей, которые ты можешь изучить в «Школе 21». «Бассейн» проходит в конкретные даты и длится 14 дней. Ты изучишь основы программирования и отточишь навыки на практических задачах.
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
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
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
-
Updated
Dec 4, 2020 - Python
The purpose of this final course project is to write a program that implements the unification algorithm.
-
Updated
Jul 1, 2023 - Haskell
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
Descriptions & implementations of type-reconstruction/inference algorithms.
-
Updated
Oct 4, 2021 - Coq
Aim: - To implement unification and resolution for real-world problems AI using Python.
-
Updated
Apr 15, 2022 - Jupyter Notebook
Unification algorithm written in LISP programming language
-
Updated
Mar 9, 2026 - Common Lisp
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."