Journal of Logic Programming, Volume 16

Volume 16, Number 1 & 2, May 1993

• Henryk Jan Komorowski: Guest Editor's Introduction. 1-3
• Hirohisa Seki: Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. 5-23
• Roland N. Bol: Loop checking in partial deduction. 25-46
• Annalisa Bossi, Nicoletta Cocco: Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. 47-87
• Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Deduction for Structured Logic Programming. 89-122
• Maurizio Proietti, Alberto Pettorossi: The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction. 123-161
• Ulf Nilsson: Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. 163-189

Volume 16, Number 3 & 4, August 1993

• Hassan Aït-Kaci, Andreas Podelski: Towards a Meaning of LIFE. 195-234 , preliminary version: PLILP 1991: 255-274
• Jean-Louis Imbert, Jacques Cohen, Marie-Dominique Weeger: An Algorithm for Linear Constraint Solving: Its Incorporation in a Prolog Meta-Interpreter for CLP. 235-253
• Jimmy Ho-Man Lee, Maarten H. van Emden: Interval Computation as Deduction in CHIP. 255-276
• Molly Wilson, Alan Borning: Hierarchical Constraint Logic Programming. 277-318
• Thierry Le Provost, Mark Wallace: Generalized Constraint Propagation over the CLP Scheme. 319-359
• Divesh Srivastava, Raghu Ramakrishnan: Pushing Constraint Selections. 361-414