Yet Another Efficient Unification Algorithm

prolog logic-programming unification unification-algorithm

• Updated Oct 10, 2025
• Go

Implementation of Steensgaard's pointer analysis for Go

go golang callgraph pointer-analysis call-graph-analysis unification-algorithm

• 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

programming-language bnf logic-programming apl arabic-prolog unification-algorithm mujeed

• Updated Mar 17, 2017
• Java

Learning Invariants through Soft Unification

neural-networks unification-algorithm

• Updated Oct 17, 2020
• Jupyter Notebook

OptionCell: OnceCell but derivable from Option

rust unification unification-algorithm rust-patterns

• Updated Sep 10, 2023
• Rust

Stuff related to my Ph.D. research

type-inference term-rewriting unification-algorithm static-program-analysis

• 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

ai first-order-logic artificial-intelligence predicates unification-algorithm prolog-programs

• 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

artificial-intelligence logic-programming unification-algorithm

• Updated Aug 10, 2018
• Java

Algorithmic Maths Engine

javascript python parser latex unification-algorithm eel-python manim-3b1b

• Updated Sep 19, 2021
• Python

breadth-first-search unification-algorithm deductive-reasoning

• 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.

python3 cnf normalization unification-algorithm

• Updated Nov 5, 2020
• Python

lab assignments of cs3130 course in iitpkd

lambda-calculus sml type-inference mlton type-checker unification-algorithm smlnj

• Updated Dec 30, 2020
• Standard ML

Robinson's Unification Algorithm of First Order Logic Terms

java unification fol term unification-algorithm robinson

• Updated Sep 22, 2021
• 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

unification-algorithm algol-w

• Updated Mar 24, 2025

Unification algorithm written in LISP programming language

lisp unification-algorithm

• Updated Mar 9, 2026
• Common Lisp

Descriptions & implementations of type-reconstruction/inference algorithms.

coq-formalization type-inference unification-algorithm

• Updated Oct 4, 2021
• Coq