Work

Yet Another Efficient Unification Algorithm

Year: 2006

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.cs/0603080

Author: Suciu, Alin

Institution: Technical University of Cluj-Napoca

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1527909328

Cites: 5

Cited by:

Related to: 10