Logic Programming as Hypergraph Rewriting

Andrea Corradini, Francesca Rossi, Francesco Parisi-Presicce. Logic Programming as Hypergraph Rewriting. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP 91). Volume 493 of Lecture Notes in Computer Science, pages 275-295, Springer, 1991.

Abstract

Abstract is missing.