Journal of Logic Programming, Volume 15

Volume 15, Numbers 1&2, January 1993

• Tadashi Kanamori, Tadashi Kawamura: Abstract Interpretation based on OLDT Resolution. 1-30
• Tadashi Kanamori: Abstract Interpretation Based on Alexander Templates. 31-54
• Gerhard Jäger, Robert F. Stärk: The Defining Power of Stratified and Hierarchical Logic Programs. 55-77
• Marc Bezem: Strong Termination of Logic Programs. 79-97 , preliminary version: NACLP 1989: 69-80
• Eliezer L. Lozinskii: A Simple Test Improves Checking Satisfiability. 99-111
• Tomas Hrycej: A Temporal Extension of Prolog. 113-145
• Roland N. Bol: Loop Checking and Negation. 147-175
• John N. Hooker: Solving the incremental satisfiability problem. 177-186

Volume 15, Number 3, February 1993

• Weidong Chen, Michael Kifer, David Scott Warren: HILOG: A Foundation for Higher-Order Logic Programming. 187-230
• Oded Shmueli: Equivalence of DATALOG Queries is Undecidable. 231-241 , preliminary version: PODS 1987: 237-249
• Mark Wallace: Tight, Consistent and Computable Completions for Unrestricted Logic Programs. 243-273

Volume 15, Number 4, April 1993

• Neng-Fa Zhou: Global Optimizations in a Prolog Compiler for the TOAM. 275-294
• Antonio Brogi, Roberto Gorrieri: Distributed Logic Programming. 295-335
• Karl Stroetmann: A Completeness Result for SLDNF-Resolution. 337-355