Types, Modularisation and Abstraction in Logic Programming

George Dayantis. Types, Modularisation and Abstraction in Logic Programming. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 127-136, Springer, Gaussig, GDR, 1988.

Abstract

Abstract is missing.