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
  

Last update Tue Feb 14 04:20:42 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page