Journal of Logic Programming, Volume 12

Volume 12, Numbers 1&2, January 1992

Serenella Cerrito: A Linear Axiomatization of Negation as Failure. 1-24 BibTeX
David W. Reed, Donald W. Loveland: A Comparison of Three Prolog Extensions. 25-50 BibTeX
Gert Smolka: Feature-Constraint Logics for Unification Grammars. 51-87 BibTeX
Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Compilation of Set Terms in the Logic Data Language (LDL). 89-119 BibTeX , preliminary version: PODS 1988: 15-28
Robert A. Kowalski: Database Updates in the Event Calculus. 121-146 BibTeX
Donald Sannella, Lincoln A. Wallen: A Calculus for the Construction of Modular Prolog Programs. 147-177 BibTeX
Johann A. Makowsky, J.-C. Gregoire, Shmuel Sagiv: The Expressive Power of Side Effects in Prolog. 179-188 BibTeX

Pierre Lescanne, Wolfgang Wechler: Introduction - ALP 1988. 189 BibTeX
Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL. 191-223 BibTeX
Bernd I. Dahn: Boolean Valued Models and Incomplete Specifications. 225-236 BibTeX
Heinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. 237-255 BibTeX
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis: Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. 257-279 BibTeX
Annie Foret: Rewrite Rule Systems for Modal Propositional Logic. 281-298 BibTeX
Bharat Jayaraman: Implementation of Subset-Equational Programs. 299-324 BibTeX
W. F. Clocksin: Logic-Programming Specification and Execution of Dynamic-Programming Problems. 325-333 BibTeX
Michael Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. 335-367 BibTeX
Ouri Wolfson: Parallel Evaluation of Datalog Programs by Load Sharing. 369-393 BibTeX