Journal of Logic Programming, Volume 2

Volume 2, Number 1, April 1985

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/ChandraH85
- ask others
Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. 1-15
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/ClarkG85
- ask others
Keith L. Clark, Steve Gregory: Notes on the Implementation of Parlog. 17-42
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Mellish85
- ask others
Chris Mellish: Some Global Optimizations for a Prolog Compiler. 43-66
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/EmdenA85
- ask others
Maarten H. van Emden, M. A. Nait Abdallah: Top-Down Semantics of Fair Computations of Logic Programs. 67-75

Volume 2, Number 2, July 1985

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Nakagawa85
- ask others
Hiroshi Nakagawa: Prolog Program Transformations and Tree Manipulation Algorithms. 77-91
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/LloydT85
- ask others
John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. 93-109
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Fitting85
- ask others
Melvin Fitting: A Deterministic Prolog Fixpoint Semantics. 111-118
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/DeransartM85
- ask others
Pierre Deransart, Jan Maluszynski: Relating Logic Programs and Attribute Grammars. 119-155
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Le85
- ask others
Van Tu Le: General Failure of Logic Programs. 157-165

Volume 2, Number 3, October 1985

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Naish85
- ask others
Lee Naish: Automating Control for Logic Programs. 167-183
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Shepherdson85
- ask others
John C. Shepherdson: Negation as Failure II. 185-202
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/VasakP85
- ask others
Thomas Vasak, John Potter: Metalogical Control for Logic Programs. 203-220
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/AsirelliSM85
- ask others
Patrizia Asirelli, Michele de Santis, Maurizio Martelli: Integrity Constraints for Logic Databases. 221-232
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Apt85
- ask others
Krzysztof R. Apt: Review of Foundations of Logic Programs. 233-234

Volume 2, Number 4, December 1985

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/MinkerP85
- ask others
Jack Minker, Donald Perlis: Computing Protected Circumscription. 235-249
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Gabbay85
- ask others
Dov M. Gabbay: N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. 251-283
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Le85a
- ask others
Van Tu Le: Negation-As-Failure Rule for General Logic Programs With Equality. 285-294
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Fitting85a
- ask others
Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. 295-312