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

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

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

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