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