Journal of Logic Programming, Volume 2

Volume 2, Number 1, April 1985

• Ashok K. Chandra, David Harel:
  Horn Clauses Queries and Generalizations. 1-15
  , preliminary version: PODS 1982: 158-163
• Keith L. Clark, Steve Gregory:
  Notes on the Implementation of Parlog. 17-42
  
• Chris Mellish:
  Some Global Optimizations for a Prolog Compiler. 43-66
  
• Maarten H. van Emden, M. A. Nait Abdallah:
  Top-Down Semantics of Fair Computations of Logic Programs. 67-75
  

Volume 2, Number 2, July 1985

• Hiroshi Nakagawa:
  Prolog Program Transformations and Tree Manipulation Algorithms. 77-91
  
• John W. Lloyd, Rodney W. Topor:
  A Basis for Deductive Database Systems. 93-109
  
• Melvin Fitting:
  A Deterministic Prolog Fixpoint Semantics. 111-118
  
• Pierre Deransart, Jan Maluszynski:
  Relating Logic Programs and Attribute Grammars. 119-155
  
• Van Tu Le:
  General Failure of Logic Programs. 157-165
  , ->comments in JLP 3: 115-118

Volume 2, Number 3, October 1985

• Lee Naish:
  Automating Control for Logic Programs. 167-183
  
• John C. Shepherdson:
  Negation as Failure II. 185-202
  
• Thomas Vasak, John Potter:
  Metalogical Control for Logic Programs. 203-220
  
• Patrizia Asirelli, Michele de Santis, Maurizio Martelli:
  Integrity Constraints for Logic Databases. 221-232
  
• Krzysztof R. Apt:
  Review of Foundations of Logic Programs. 233-234
  

Volume 2, Number 4, December 1985

• Jack Minker, Donald Perlis:
  Computing Protected Circumscription. 235-249
  
• Dov M. Gabbay:
  N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. 251-283
  
• Van Tu Le:
  Negation-As-Failure Rule for General Logic Programs With Equality. 285-294
  
• Melvin Fitting:
  A Kripke-Kleene Semantics for Logic Programs. 295-312
  

Last update Tue Feb 14 04:20:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page