Yet Another Efficient Unification Algorithm
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
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.
引用
@article{arxiv.cs/0603080,
title = {Yet Another Efficient Unification Algorithm},
author = {Alin Suciu},
journal= {arXiv preprint arXiv:cs/0603080},
year = {2007}
}