unification-algorithm

There are 1 repository under unification-algorithm topic.

kuba-- / ut
Yet Another Efficient Unification Algorithm
unification unification-algorithm prolog logic-programming
Language:Go 25
Keerthivasan13 / CSCI561_Artificial_Intelligence
Programs developed for CSCI561 Foundations of Artificial Intelligence course
unification game-playing minimax halma agent language python search bfs-algorithm uniform-cost-search astar-algorithm alpha-beta-pruning first-order-logic backward-chaining unification-algorithm resolution-algorithm
Language:Python 9
BlidiWajdi / Mujeed-Arabic-Prolog
Mujeed (مُجيد) is a development environment for logic programming in Arabic language
arabic-prolog programming-language unification-algorithm bnf apl mujeed logic-programming
Language:Java 5
nuric / softuni
Learning Invariants through Soft Unification
neural-networks unification-algorithm
Language:Jupyter Notebook 4
qnighy / option-cell
OptionCell: OnceCell but derivable from Option
rust rust-patterns unification unification-algorithm
Language:Rust 4
ruudkoot / phd
Stuff related to my Ph.D. research
static-program-analysis term-rewriting type-inference unification-algorithm
Language:Haskell 3
BarrensZeppelin / pointer
Implementation of Steensgaard's pointer analysis for Go
go golang pointer-analysis unification-algorithm call-graph-analysis callgraph
Language:Go 2
TrungLuong1194 / expert-system
breadth-first-search deductive-reasoning unification-algorithm
Language:Python 2
DanielPointon / Axiomatic2
Algorithmic Maths Engine
parser unification-algorithm latex python javascript eel-python manim-3b1b
Language:Python 1
dimglyn / first-order-logic
Exporting forward conclusions for Horn clauses (definitive Clauses) using first order logic
unification-algorithm artificial-intelligence logic-programming
Language:Java 1
KrishnaJay / Inference-Engine
Prove or disprove the given query based on the knowledge base
inference-engine inference-rules artificial-intelligence parsing strings first-order-logic unification-algorithm resolution-proof cpp cpp14 tokenizer
Language:C++ 1
sharmaparnika / Unification-and-Resolution-for-real-world-problems
Aim: - To implement unification and resolution for real-world problems AI using Python.
ai problems real resolution-algorithm unification-algorithm world code
Language:Jupyter Notebook 1
urvishjarvis1 / unificationalgorithm
The Prolog Unification algorithm
ai unification-algorithm artificial-intelligence predicates first-order-logic prolog-programs
Language:Java 1
DMaskin / robinson-unification
Robinson's Unification Algorithm of First Order Logic Terms
fol java robinson term unification unification-algorithm
Language:Java 0
jdshah10 / First-order-logic-resolution
Designed a self-service automated system to alert patients/customers about potential drug interactions for both prescription and over the counter drugs.
python3 cnf unification-algorithm normalization
Language:Python 0
rudynicolop / Type-Reconstruction
Descriptions & implementations of type-reconstruction/inference algorithms.
coq-formalization type-inference unification-algorithm
Language:Coq 0
MattLloyd101 / json-unify
A unification implementation for JSON.
unify unification unification-algorithm json hindley-milner
teodutu / IA
Inteligenta Artificiala - UPB 2020-2021
and-or-search monte-carlo-tree-search constraint-satisfaction-problem learning-realtime-astar iterative-deepening-a-star branch-and-bound unification-algorithm
Language:Jupyter Notebook
vipul43 / CS3130_POPL_LAB
lab assignments of cs3130 course in iitpkd
sml smlnj mlton lambda-calculus type-checker type-inference unification-algorithm
Language:Standard ML