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