Journal of Logic Programming, Volume 5

Volume 5, Number 1, March 1988

• L. Thorne McCarty: Clausal Intuitionistic Logic I - Fixed-Point Semantics. 1-31
• Jack Minker: Perspectives in Deductive Databases. 33-60 , presented at PODS 1987: 135
• Saumya K. Debray, Prateek Mishra: Denotational and Operational Semantics for Prolog. 81-91

Volume 5, Number 2, June 1988

• L. Thorne McCarty: Clausal Intuitionistic Logic II - Tableau Proof Procedures. 93-132
• John Staples, Peter J. Robinson: Efficient Unification of Quantified Terms. 133-149
• William G. Golson: Toward a Declarative Semantics for Infinite Objects in Logic Programming. 151-164
• Vipin Kumar, Yow-Jian Lin: A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog. 165-181

Volume 5, Number 3, September 1988

• Robert Demolombe, Luis Fariñas del Cerro: An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. 183-206
• Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Logic Programs. 207-229
• W. F. Clocksin: A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs. 231-242
• Joachim Beer: The Occur-Check Problem Revisited. 243-261
• Paolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. 263-276

Volume 5, Number 4, December 1988

• Marc Eisenstadt, Mike Brayshaw: The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. 277-342