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 updated on Tue May 21 03:11:57 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page