Journal of Logic Programming, Volume 3

Volume 3, Number 1, April 1986

• Dov M. Gabbay, Marek J. Sergot: Negation as Inconsistency I. 1-35
• Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. 37-53
• John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems II. 55-67
• Damjan Bojadziev: A Constructive View of Prolog. 69-74
• Leon Sterling, Michael Codish: Pressing for Parallelism: A Prolog Program made Concurrent. 75-92

Volume 3, Number 2, July 1986

• Tim Flannagan: The Consistency of Negation as Failure. 93-114
• Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: Comments on "General Failure of Logic Programs". 115-118 , ->see JLP 2: 157-165 (1985)
• Rikio Onai, Hajime Shimizu, Kanae Masuda, Moritoshi Aso: Analysis of Sequential Prolog Programs. 119-141
• Joxan Jaffar, Peter J. Stuckey: Canonical Logic Programs. 143-155
• Lisa Hellerstein, Ehud Y. Shapiro: Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. 157-184

Volume 3, Number 3, October 1986

• Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. 185-215
• Marco Bellia, Giorgio Levi: The Relation between Logic and Functional Languages: A Survey. 217-236
• Lawrence C. Paulson: Natural Deduction as Higher-Order Resolution. 237-258
• Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. 259-276

Volume 3, Number 4, December 1986

• Michael C. McCord, Verónica Dahl, Harvey Abramson: Introduction to Special Issue on Natural Language and Logic Programming. 277-278
• Miguel Filgueiras: Cooperating Rewrite Processes for Natural-Language Analysis. 279-298
• Lynette Hirschman: Conjunction in Meta-Restriction Grammar. 299-328
• Patrick Saint-Dizier: An Approach to Natural-Language Semantics in Logic Programming. 329-356