Journal of Logic Programming, Volume 30

Volume 30, Number 1, January 1997

Juergen Haas, Bharat Jayaraman: From Context-Free to Definite-Clause Grammars: A Type-Theoretic Approach. 1-23 BibTeX
Zheng Lin: Parallel Execution of Logic Programs by Load Sharing. 25-51 BibTeX
Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough: A Confluent Semantic Basis for the Analysis of Concurrent Constraint Logic Programs. 53-81 BibTeX
Chitta Baral: Embedding Revision Programs in Logic Programming Situation Calculus. 83-97 BibTeX

Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein: Order Sorted Feature Theory Unification. 99-124 BibTeX
Teodor C. Przymusinski, Hudson Turner: Update by Means of Inference Rules. 125-143 BibTeX
Paul Tarau, Koenraad De Bosschere, Bart Demoen: On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. 145-163 BibTeX
Heinrich Herre, Gerd Wagner: Stable Models Are Generated by a Stabel Chain. 165-177 BibTeX

Raymond T. Ng, Xiaomei Tian: Incremental Algorithms for Optimizing Model Computation Based on Partial Instantiation. 179-204 BibTeX
Christopher P. Higgins: On Integrating Objects and Relations Using Multimethods. 205-221 BibTeX
Paulo Jorge de Sousa Azevedo: Magic Sets with Full Sharing. 223-237 BibTeX
Kung-Kiu Lau, Mario Ornaghi: The Relationship Between Logic Programs and Specifications - The Subset Example Revisited. 239-257 BibTeX