Implementations of Program Composition Operations

This paper reports on a number of implementations for a suite of composition operations of logic programs. We present and compare three implementations, which rely on different techniques: metaprogramming, program transformations, and extensions to the WAM, respectively. In particular, we show how the third approach reduces the drawbacks of the other two approaches, while retaining their advantages.

[1]  Niels Ole Bernsen,et al.  Basic Research Actions: A New Esprit Initiative , 1988 .

[2]  Antonio Brogi,et al.  Metalogic for Knowledge Representation , 1991, KR.

[3]  Paolo Mancarella,et al.  An Algebra of Logic Programs , 1988, ICLP/SLP.

[4]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[5]  Mark Snyder,et al.  Basic Research in Action , 1990 .

[6]  Antonio Brogi,et al.  Theory Construction in Computational Logic , 1993, ICLP Workshop on Construction of Logic Programs.

[7]  Evelina Lamma,et al.  The Design of an Abstract Machine for Efficient Implementation of Contexts in Logic Programming , 1989, International Conference on Logic Programming.

[8]  D. Pedreschi,et al.  Composition Operators for Logic Theories , 1990 .

[9]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[10]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[11]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[12]  Robert A. Kowalski,et al.  A Metalogic Programming Approach to Multi-Agent Knowledge and Belief , 1991, Artificial and Mathematical Theory of Computation.

[13]  Donald Sannella,et al.  A Calculus for the Construction of Modular Prolog Programs , 1987, J. Log. Program..

[14]  Franco Turini,et al.  A Transformational Approach to Negation in Logic Programming , 1990, J. Log. Program..

[15]  Dale Miller,et al.  A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..

[16]  John W. Lloyd,et al.  The Gödel programming language , 1994 .

[17]  Laura Giordano,et al.  A Modal Reconstruction of Blocks and Modules in Logic Programming , 1991, ISLP.