Integrating Reflection into SLD-Resolution

Momigliano A., Ornaghi M. (editors

Integrating Reflection into SLD-resolution (Extended Abstract)

In this paper we present an extension of SLD-resolution that allows us to model reflection rules in metalevel architectures. We employ an abstract language, introduce the concept of a name theory for such a language, and present an inference system that is parameterized with a name theory. The proposed mechanism is completely general in such a way that for any metalevel architecture where the procedural semantics is independent of the specific device for unification and naming mechanism, a similar generalization is also possible