Journal of Logic Programming, Volume 4

Volume 4, Number 1, March 1987

• Luis Fariñas del Cerro, Martti Penttonen:
  A Note of the Complexity of the Satisfiability of Modal Horn Clauses. 1-10
  
• Melvin Fitting:
  Enumeration Operators and Modular Logic Programming. 11-21
  
• Allen Van Gelder:
  Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. 23-31, (see JLP 14(1&2): 181-183, 185 (1992))
  
• Philip T. Cox:
  On Determining the Cause of Nonunifiability. 33-58
  
• W. F. Clocksin:
  Logic Programming and Digital Circuit Analysis. 59-82
  
• Richard Helm, Kim Marriott:
  Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz. 83-84
  

Volume 4, Number 2, June 1987

• Atsushi Togashi, Shoichi Noguchi:
  A Program Transformation from Equational Programs into Logic Programs. 85-103
  
• Alon Itai, Johann A. Makowsky:
  Unification as a Complexity Measure for Logic Programming. 105-117
  
• Jean H. Gallier, Stan Raatz:
  Hornlog: A Graph-Based Interpreter for General Horn Clauses. 119-155
  
• Christopher T. Haynes:
  Logic Continuations. 157-176
  

Volume 4, Number 3, September 1987

• Gérard Ferrand:
  Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. 177-198
  
• Mehmet Dincbas, Pascal Van Hentenryck:
  Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. 199-227
  
• Tomasz Imielinski:
  Intelligent Query Answering in Rule Based Systems. 229-257
  
• Isaac Balbin, Kotagiri Ramamohanarao:
  A Generalization of the Differential Approach to Recursive Query Evaluation. 259-262
  

Volume 4, Number 4, December 1987

• Maarten H. van Emden, Keitaro Yukawa:
  Logic Programming with Equations. 265-288, (see comments in JLP 11: 85-89 (1991))
  
• Kenneth Kunen:
  Negation in Logic Programming. 289-308
  
• Bijan Arbab, Daniel M. Berry:
  Operational and Denotational Semantics of Prolog. 309-329
  
• John W. Lloyd, Liz Sonenberg, Rodney W. Topor:
  Integrity Constraint Checking in Stratified Databases. 331-343
  
• Derek R. Brough, Christopher J. Hogger:
  Compiling Associativity into Logic Programs. 345-359
  

Last update Sat May 25 16:28:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page