Journal of Logic Programming, Volume 18

Volume 18, Number 1, January 1994

• Kerima Benkerimi, John C. Shepherdson: Partial Deduction of Updateable Definite Logic Programs. 1-26 BibTeX
• Kenneth A. Ross: On Negation in HiLog. 27-53 BibTeX
• Jonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. 55-80 BibTeX
• Eberhard Bertsch: On the Relationship between Indexed Grammars and Logic Programs. 81-98 BibTeX

Volume 18, Number 2, February 1994

• Ritu Chadha, David A. Plaisted: Correctness of Unification Without Occur Check in Prolog. 99-122 BibTeX
• Christoph Beierle, Gregor Meyer: Run-Time Type Computations in the Warren Abstract Machine. 123-148 BibTeX
• Saumya K. Debray, Raghu Ramakrishnan: Abstract Interpretation of Logic Programs using Magic Transformations. 149-176 BibTeX
• Krzysztof R. Apt, Kees Doets: A New Definition of SNDNF-Resolution. 177-190 BibTeX

Volume 18, Number 3, April 1994

• Katsumi Inoue: Hypothetical Reasoning in Logic Programs. 191-227 BibTeX
• Gert Smolka, Ralf Treinen: Records for Logic Programming. 229-258 BibTeX