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
  

Volume 12, Numbers 3&4, 1992

• 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
  

Last update Tue May 21 19:16:59 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page