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

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

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

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