PROLOG - II as an instance of the logic programming language scheme

Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher. PROLOG - II as an instance of the logic programming language scheme. In Martin Wirsing, editor, Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986. pages 275-298, North-Holland, 1987.

Abstract

Abstract is missing.