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 BibTeX
• Melvin Fitting: Enumeration Operators and Modular Logic Programming. 11-21 BibTeX
• Allen Van Gelder: Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. 23-31 BibTeX , see JLP 14(1&2): 181-183, 185 (1992)
• Philip T. Cox: On Determining the Cause of Nonunifiability. 33-58 BibTeX
• W. F. Clocksin: Logic Programming and Digital Circuit Analysis. 59-82 BibTeX
• Richard Helm, Kim Marriott: Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz. 83-84 BibTeX

Volume 4, Number 2, June 1987

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

Volume 4, Number 3, September 1987

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

Volume 4, Number 4, December 1987

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