RTA 1985: Rewriting Techniques and Applications pp 141-157 | Cite as
NARROWER: a new algorithm for unification and its application to Logic Programming
Conference paper
First Online:
Keywords
Logic Programming Equational Theory Critical Pair Loop Equation Successful Node
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.N. Dershowitz, ”Computing With Term Rewriting Systems,” Proceedings of An NSF Workshop On The Rewrite Rule Laboratory, April 1984.Google Scholar
- 2.N. Dershowitz, ”Equations as programming language,” Fourth Jerusalem Conference on Information Technology, pp. 114–123, Jerusalem (Israel), May 1984.Google Scholar
- 3.F. Fages and G. Huet, ”Unification and Matching in Equational Theories,” Proceedings of CAAP 83, vol. 159, pp. 205–220, Springer Verlag, l'Aquilla, Italy, 1983.Google Scholar
- 4.M. Fay, ”First-Order Unification in an Equational Theory,” Proceedings of the 4th Workshop on Automated Deduction, pp. 161–167, Austin, Texas, 1979.Google Scholar
- 5.J. Goguen and J. Meseguer, ”Equality, Types, Modules and Generics for Logic Programming,” SRI Internal Publication, Menlo Park, 1984.Google Scholar
- 6.J. Hsiang, ”Refutational Theorem Proving Using Term Rewriting Systems,” Ph.D. Thesis, University of Illinois, Urbana, 1981.Google Scholar
- 7.G. Huet, ”Resolution d'Equations dans des Langages d'Ordre 1,2, ... ω,” Thèse d'Etat, Université de Paris VII, 1976.Google Scholar
- 8.G. Huet and D. Oppen, ”Equations and Rewrite Rules: A Survey,” in Formal Languages: Perspectives And Open Problems, ed. Book R., Academic Press, 1980.Google Scholar
- 9.J.M. Hullot, ”Canonical Forms And Unification,” in Proceedings of the Fifth Conference on Automated Deduction, Lecture Notes in Computer Science, vol. 87, pp. 318–334, Springer Verlag, Les Arcs, France, July 1980.Google Scholar
- 10.J.M. Hullot, ”Compilation de Formes Canoniques dans les Théories Equationnelles,” Thèse de 3ème Cycle, Université de Paris Sud, 1980.Google Scholar
- 11.J. P. Jouannaud, C. Kirchner, and H. Kirchner, ”Incremental Construction of Unification Algorithms in Equational Theories,” in Proceedings of the International Conference On Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 154, pp. 361–373, Springer Verlag, Barcelona Spain, 1983.Google Scholar
- 12.C. Kirchner and H. Kirchner, ”Implementation of a General Completion Procedure Parameterized by Built-in Theories And Strategies,” Rapport Crin 84-R-85, 1984.Google Scholar
- 13.P. Lescanne, ”Computer Experiments with the REVE Term Rewriting System Generator,” in 10th ACM Conf. on Principles of Programming Languages, pp. 99–108, Austin Texas, January 1983.Google Scholar
- 14.G. Plotkin, ”Building-In Equational Theories,” Machine Intelligence, vol. 7, pp. 73–90, 1972.Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 1985