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
  

Last update Thu May 23 19:09:40 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page