Volume 6,
Numbers 1&2,
January/March 1989
- Seif Haridi, Robert Keller:
Preface to the Special Issue - Papers Presented at the Third Symposium on Logic Programming.
1-2 BibTeX
- Jean H. Gallier, Stan Raatz:
Extending SLD Resolution to Equational Horn Clauses using E-Unification.
3-43 BibTeX
,
preliminary version:
SLP 1986:
168-179
- E. W. Elcock:
Prolog: Subsumption of Equality Axioms by the Homogeneous Form.
45-56 BibTeX
,
preliminary version:
SLP 1986:
115-126
- N. Alan Josephson, Nachum Dershowitz:
An Implementation of Narrowing.
57-77 BibTeX
,
preliminary version:
SLP 1986:
187-197
- Dale Miller:
A Logical Analysis of Modules in Logic Programming.
79-108 BibTeX
,
preliminary version:
SLP 1986:
106-114
- Allen Van Gelder:
Negation as Failure using Tight Derivations for General Logic Programs.
109-133 BibTeX
,
preliminary version:
SLP 1986:
127-138
- Maurice Bruynooghe, Danny De Schreye, Bruno Krekels:
Compiling Control.
135-162 BibTeX
,
preliminary version:
SLP 1986:
70-77
- Leon Sterling, Randall D. Beer:
Metainterpreters for Expert System Construction.
163-178 BibTeX
,
preliminary version:
SLP 1986:
20-27
- J. W. Mills:
A High-Performance Low Risc Machine for Logic Programming.
179-212 BibTeX
Volume 6,
Number 3,
May 1989
Copyright © Sun May 17 00:10:04 2009
by Michael Ley (ley@uni-trier.de)
