Yet Another Efficient Unification Algorithm
classification
💻 cs.LO
cs.AI
keywords
unificationalgorithmefficientanotherdevelopedalgorithmscalledcentered
read the original abstract
The unification algorithm is at the core of the logic programming paradigm, the first unification algorithm being developed by Robinson [5]. More efficient algorithms were developed later [3] and I introduce here yet another efficient unification algorithm centered on a specific data structure, called the Unification Table.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.