Yet Another Efficient Unification Algorithm

Simple item page
dc.creatorSuciu, Alin
dc.date2006-03-20
dc.date.accessioned2026-07-07T07:05:53Z
dc.date.available2026-07-07T07:05:53Z
dc.descriptionThe 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.
dc.identifierhttps://arxiv.org/abs/cs/0603080
dc.identifierhttp://arxiv.org/abs/cs/0603080
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/109824
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.titleYet Another Efficient Unification Algorithm
dc.typetext

Files

Collections

arXiv