Journal of Logic Programming, Volume 2

Volume 2, Number 1, April 1985

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

Volume 2, Number 2, July 1985

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

Volume 2, Number 3, October 1985

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

Volume 2, Number 4, December 1985

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