Journal of Logic Programming, Volume 5

Volume 5, Number 1, March 1988

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

Volume 5, Number 2, June 1988

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

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 BibTeX
• Saumya K. Debray, David Scott Warren: Automatic Mode Inference for Logic Programs. 207-229 BibTeX
• W. F. Clocksin: A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs. 231-242 BibTeX
• Joachim Beer: The Occur-Check Problem Revisited. 243-261 BibTeX
• Paolo Mancarella, Simone Martini, Dino Pedreschi: Complete Logic Programs with Domain-Closure Axiom. 263-276 BibTeX

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 BibTeX