Journal of Logic Programming, Volume 42

Volume 42, Number 1, 1 January 2000

• Fausto Spoto: Operational and Goal-Independent Denotational Semantics for Prolog with Cut. 1-46 BibTeX
• Grigoris Antoniou, Michael J. Maher, David Billington: Defeasible Logic versus Logic Programming without Negation as Failure. 47-57 BibTeX

Volume 42, Number 2, February 2000

• Sibylla Priess-Crampe, Paulo Ribenboim: Ultrametric Spaces and Logic Programming. 59-70 BibTeX
• Bharat Jayaraman, Kyonghee Moon: Subset Logic Programs and Their Implementation. 71-110 BibTeX
• Michael Codish, Vitaly Lagoon, Francisco Bueno: An Algebraic Approach to Sharing Analysis of Logic Programs. 111-149 BibTeX

Volume 42, Number 3, March 2000

• Sofie Verbaeten, Marc Denecker, Danny De Schreye: Compositionality of Normal Open Logic Programs. 151-183 BibTeX
• Moreno Falaschi, Patrick Hicks, William H. Winsborough: Demand Transformation Analysis for Concurrent Constraint Programs. 185-215 BibTeX
• Viswanath Ramachandran, Pascal Van Hentenryck, Agostino Cortesi: Abstract Domains for Reordering CLP(R_Lin) Programs. 217-256 BibTeX