|
Abstract : |
Abstract. This paper describes a reasoning system, called GETFOL, able to introspect (the code implementing) its own deductive machinery, to reason deductively about it in a declarative metatheory and to produce new executable code which can then be pushed back into the underlying implementation. In this paper we discuss the general architecture of GETFOL and the problems related to its implementation. 1 The Goal The work partially described in this paper tackles the problem of investigating criteria and techniques for the development of real introspective/reflective systems. We describe a system, called GETFOL 3 [Giu92], able to introspect its own code, to reason deductively about it in a declarative metatheory and, as a result, to produce new executable code which can then be pushed back into the underlying implementation. The behaviour of this system is schematized in, |
