The Journal of Logic Programming 1994: Vol 18 Index

3 Pages·1994·0.21 MB·English

259
TITLE INDEX TO VOLUME 18
Partial Deduction of Updateable Definite Logic Pro- Run-Time Type Computations in the Warren Abstract
grams, 1 Machine, 123
On Negation in HiLog, 27
Abstract Interpretation of Logic Programs Using Magic
Transformations, 149
Hierarchical Representation of Legal Knowledge with
Metaprogramming in Logic, 55
A New Definition of SLDNF-Resolution, 177
On the Relationship between Indexed Grammars and
Logic Programs, 81
Hypothetical Reasoning in Logic Programs, 191
Correctness of Unification without Occur Check in
Prolog, 99 Records for Logic Programming, 229
9h
Rea ms Se ea
Pr
sc e
a
r
4
261
AUTHOR INDEX TO VOLUME 18
Apt, Krzysztof R., 177 Inoue, Katsumi, 191
Barklund, Jonas, 55 Meyer, Gregor, 123
Beierle, Christoph, 123
Benkerimi, K., 1 Plaisted, David A., 99
Bertsch, Eberhard, 81
Ramakrishnan, Raghu, 149
Chadha, Ritu, 99 Ross, Kenneth A., 27
Debray, Saumya, 149 Shepherdson, J. C., 1
Doets, Kees, 177 Smolka, Gert, 229
Hamfelt, Andreas, 55 Treinen, Ralf, 229