Journal of Logic Programming, Volume 40

Volume 40, Number 1, July 1999

Stefan Brass, Jürgen Dix: Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. 1-46
Juan Carlos González Moreno, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo: An Approach to Declarative Programming Based on a Rewriting Logic. 47-87
Paqui Lucio, Fernando Orejas, Elvira Pino: An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. 89-124

Stephen Muggleton, David Page: Guest Editors' Introduction: Inductive Logic Programming. 125-126
Kerry Taylor: Generalization by Absorption of Definite Clauses. 127-157
Henrik Boström, Peter Idestam-Almquist: Induction of Logic Programs by Example-Guided Unfolding. 159-183
Ashwin Srinivasan, Rui Camacho: Numerical Reasoning with an ILP System Capable of Lazy Evaluation and Customised Search. 185-213
Nada Lavrac, Dragan Gamberger, Viktor Jovanoski: A Study of Relevance for Learning in Deductive Databases. 215-249
Anke D. Rieger: Optimizing General Chain Programs. 251-271
Russell Greiner: The Complexity of Revising Logic Programs. 273-298