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
• Kenneth A. Ross: On Negation in HiLog. 27-53
• Jonas Barklund, Andreas Hamfelt: Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic. 55-80
• Eberhard Bertsch: On the Relationship between Indexed Grammars and Logic Programs. 81-98

Volume 18, Number 2, February 1994

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

Volume 18, Number 3, April 1994

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