Partial Deduction of Logic Programs wrt Well-Founded Semantics

In this paper, we extend the partial deduction framework of [LS] to unfold non-ground negative literals [ST,CW] and to include loop checks [B2] during partial deduction. We show that the unified framework is sound and complete wrt well-founded model semantics, when certain conditions are satisfied.

[1]  Adrian Walker,et al.  Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..

[2]  Krzysztof R. Apt,et al.  An Analysis of Loop Checking Mechanisms for Logic Programs , 1991, Theor. Comput. Sci..

[3]  Paolo Mancarella,et al.  Algebraic Properties of a Class of Logic Programs , 1990, NACLP.

[4]  Teodor C. Przymusinski.  On Constructive Negation in Logic Programming , 1989, NACLP.

[5]  Phan Minh Dung,et al.  On the Relations between Stable and Well-Founded Semantics of Logic Programs , 1992, Theor. Comput. Sci..

[6]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[7]  Peter J. Stuckey,et al.  Eliminating Negation from Normal Logic Programs , 1990, ALP.

[8]  Toramatsu Shintani,et al.  Deriving an Efficient Production System by Partial Evaluation , 1989, NACLP.

[9]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[10]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[11]  Denis Lugiez.  A Deduction Procedure for First Order Programs , 1989, ICLP.

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

[13]  Kenneth A. Ross,et al.  A procedural semantics for well founded negation in logic programs , 1989, J. Log. Program..

[14]  Mark Wallace,et al.  Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases , 1987, SLP.

[15]  Alan Bundy,et al.  Explanation-Based Generalisation = Partial Evaluation , 1988, Artif. Intell..

[16]  Teodor C. Przymusinski.  On the Declarative Semantics of Deductive Databases and Logic Programs , 1988, Foundations of Deductive Databases and Logic Programming..

[17]  Mark Wallace,et al.  A Treatment of Negation during Partial Evaluation , 1989, META.

[18]  Kenneth A. Ross,et al.  Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[19]  David Chan,et al.  Constructive Negation Based on the Completed Database , 1988, ICLP/SLP.

[20]  Teodor C. Przymusinski,et al.  Weakly Perfect Model Semantics for Logic Programs , 1988, ICLP/SLP.

[21]  Jan Komorowski,et al.  Towards a Programming Methodology Founded on Partial Deduction , 1990, ECAI.

[22]  Hisao Tamaki,et al.  Transformational Logic Program Synthesis , 1984, FGCS.