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
  

Last update Mon May 20 01:18:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page