Abstract
Further asymptotical improvement of original Robinson's unification idea is presented. By postponing the so-called occur-check in Corbin and Bidoit's quadratic rehabilitation of the Robinson algorithm at the end of unification an almost linear unification algorithm is obtained. In the worst case, the resulting algorithm has the time complexity O(p.A(p)), where p is the size of input terms and A is the inverse to the Ackermann function. Moreover, the practical experiments are summarized comparing Corbin and Bidoit's quadratic algorithm with the resulting almost linear unification algorithm based on Robinson's principle.
Preview
Unable to display preview. Download preview PDF.
6. References
J. CORBIN — M. BIDOIT: A Rehabilitation of Robinson's Unification Algorithm. IFIP'83, Elsevier Science Publishers, North-Holland, p. 909–914, 1983.
A. MARTELLI — V. MONTANARI: An Efficient Unification Algorithm. Transactions on Programming Languages and Systems, Vol. 4, No. 2, p. 258–282, 1982.
M.S. PATERSON — M.N. WEGMAN: Linear Unification. Journal of Computer and System Sciences, Vol. 16, p. 158–167, 1978.
I. PRIVARA: PROGRESS — A System Supporting Design and Prototyping of Algebraic Specifications. Technical Report OPS-6-88, VUSEI-AR Bratislava, 1988.
J.A. ROBINSON: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the ACM, Vol. 12, No. 1, p. 23–41, 1965.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ružička, P., Prívara, I. (1988). An almost linear robinson unification algorithm. In: Chytil, M.P., Koubek, V., Janiga, L. (eds) Mathematical Foundations of Computer Science 1988. MFCS 1988. Lecture Notes in Computer Science, vol 324. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017173
Download citation
DOI: https://doi.org/10.1007/BFb0017173
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50110-7
Online ISBN: 978-3-540-45926-2
eBook Packages: Springer Book Archive