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
Copyright ©
Sun May 17 00:10:03 2009 by
Michael Ley
(
ley@uni-trier.de
)