Journal of Logic Programming, Volume 1

Volume 1, Number 1, June 1984

John Alan Robinson: Editor's Introduction. 1-2 BibTeX
Lars-Henrik Eriksson: Synthesis of a Unification Algorithm in a Logic Programming Calculus. 3-18 BibTeX
Ehud Y. Shapiro: Alternation and the Computational Complexity of Logic Programs. 19-33 BibTeX
Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell: On the Sequential Nature of Unification. 35-50 BibTeX
John C. Shepherdson: Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption. 51-79 BibTeX
Michael D. Poe, Roger Nasr, Janett Potter, Janet Slinn: A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming. 81-142 BibTeX

Maarten H. van Emden, John W. Lloyd: A Logical Reconstruction of Prolog II. 143-149 BibTeX
Leon Sterling: Logical Levels of Problem Solving. 151-163 BibTeX
Laurent Fribourg: Oriented Equational Clauses as a Programming Language. 165-177 BibTeX
Joseph A. Goguen, José Meseguer: Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. 179-210 BibTeX

Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. 211-223 BibTeX
John W. Lloyd, Rodney W. Topor: Making Prolog more Expressive. 225-240 BibTeX
György E. Révész: An Extension of Lambda-Calculus for Functional Programming. 241-251 BibTeX
Francis Giannesini, Jacques Cohen: Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. 253-265 BibTeX
William F. Dowling, Jean H. Gallier: Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. 267-284 BibTeX

Katsuhiko Nakamura: Associative Concurrent Evaluation of Logic Programs. 285-295 BibTeX
Lee Naish: Heterogeneous SLD Resolution. 297-303 BibTeX
Olga Stepánková, Petr Stepánek: Transformations of Logic Programs. 305-318 BibTeX
Dov M. Gabbay, Uwe Reyle: N-Prolog: An Extension of Prolog with Hypothetical Implications I. 319-355 BibTeX