Journal of Logic Programming, Volume 33

Volume 33, Number 1, October 1997

• Anthony J. Bonner: Intuitionistic Deductive Databases and the Polynomial Time Hierarchy. 1-47
• Lourdes Araujo, José J. Ruz: A Parallel Prolog System for Distributed Memory. 49-79

Volume 33, Number 2, November 1997

• Chut N. Yee, Trevor I. Dix: A Platform for Restriction Mapping. 81-99
• Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian: Logic and Algebraic Languages for Interoperability in Multidatabase Systems. 101-149

• Tzee Ho Fung, Robert A. Kowalski: The Iff Proof Procedure for Abductive Logic Programming. 151-165
• Thomas Eiter, Georg Gottlob: Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. 167-178

Volume 33, Number 3, December 1997

• Johan Boye, Jan Maluszynski: Directional Types and the Annotation Method. 179-220
• Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). 221-259