Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism

Peter Van Roy, Bart Demoen, Yves D. Willems. Improving the Execution Speed of Compiled Prolog with Modes, Clause Selection, and Determinism. In Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari, editors, TAPSOFT 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and . Volume 250 of Lecture Notes in Computer Science, pages 111-125, Springer, 1987.

Abstract

Abstract is missing.