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

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

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

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