Journal of Logic Programming, Volume 12

Volume 12, Numbers 1&2, January 1992

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

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