Journal of Logic Programming
, Volume 3
Volume 3, Number 1, April 1986
Dov M. Gabbay
,
Marek J. Sergot
: Negation as Inconsistency I. 1-35
BibTeX
Maarten H. van Emden
: Quantitative Deduction and its Fixpoint Theory. 37-53
BibTeX
John W. Lloyd
,
Rodney W. Topor
: A Basis for Deductive Database Systems II. 55-67
BibTeX
Damjan Bojadziev
: A Constructive View of Prolog. 69-74
BibTeX
Leon Sterling
,
Michael Codish
: Pressing for Parallelism: A Prolog Program made Concurrent. 75-92
BibTeX
Volume 3, Number 2, July 1986
Tim Flannagan
: The Consistency of Negation as Failure. 93-114
BibTeX
Joxan Jaffar
,
Jean-Louis Lassez
,
Michael J. Maher
: Comments on "General Failure of Logic Programs". 115-118
BibTeX
, ->see
JLP 2
: 157-165 (1985)
Rikio Onai
,
Hajime Shimizu
,
Kanae Masuda
,
Moritoshi Aso
: Analysis of Sequential Prolog Programs. 119-141
BibTeX
Joxan Jaffar
,
Peter J. Stuckey
: Canonical Logic Programs. 143-155
BibTeX
Lisa Hellerstein
,
Ehud Y. Shapiro
: Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience. 157-184
BibTeX
Volume 3, Number 3, October 1986
Hassan Aït-Kaci
,
Roger Nasr
: LOGIN: A Logic Programming Language with Built-In Inheritance. 185-215
BibTeX
Marco Bellia
,
Giorgio Levi
: The Relation between Logic and Functional Languages: A Survey. 217-236
BibTeX
Lawrence C. Paulson
: Natural Deduction as Higher-Order Resolution. 237-258
BibTeX
Sanjai Narain
: A Technique for Doing Lazy Evaluation in Logic. 259-276
BibTeX
Volume 3, Number 4, December 1986
Michael C. McCord
,
Verónica Dahl
,
Harvey Abramson
: Introduction to Special Issue on Natural Language and Logic Programming. 277-278
BibTeX
Miguel Filgueiras
: Cooperating Rewrite Processes for Natural-Language Analysis. 279-298
BibTeX
Lynette Hirschman
: Conjunction in Meta-Restriction Grammar. 299-328
BibTeX
Patrick Saint-Dizier
: An Approach to Natural-Language Semantics in Logic Programming. 329-356
BibTeX
Copyright ©
Sun May 17 00:10:03 2009 by
Michael Ley
(
ley@uni-trier.de
)