Title index to volume 18

259

TITLE INDEX TO VOLUME 18

Partial Deduction grams, 1 On Negation

of Updateable

in HiLog,

Definite

Correctness Prolog,

Pro-

27

Hierarchical Representation of Legal Metaprogramming in Logic, 55 On the Relationship Logic Programs,

Logic

between 81

of Unification 99

Indexed

Knowledge

with

Grammars

and

Run-Time Type Computations Machine, 123

Occur

Check

Abstract

Abstract Interpretation of Logic Programs Transformations, 149

Using Magic

A New Definition

177

Hypothetical without

in the Warren

of SLDNF-Resolution,

Reasoning

in Logic Programs,

in Records

for Logic Programming,

229

191