Stefan Lüttringhaus. An Interpreter with Lazy Evaluation for Prolog with Functions. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 199-225, Springer, 1988.
Abstract is missing.