Semantical Properties of Encodings in Logic Programming
Jonas Barklund, Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone · The MIT Press eBooks · 1995
A metaprogram is a program where data denotes another (object) program. The relation between the metalevel data and the object program is specified through encodings. In this paper we discuss the expressivity of various forms of encodings (both ground and non-ground) that have appeared in literature. This is done in a context where encodings are expressed by means of equational theories, and the related unification facility by means of a rewrite system. Then we analyze the formal properties that the associated rewrite systems must satisfy when integrated into a computational framework. Dipartimento di Scienze dell'Informazione, Universit`a degli Studi di Milano 1 Motivation In the last decade metalogic programming languages have become increasingly important. Many applications have been developed by means of metaprograms, in areas such as knowledge representation and reasoning, synthesis and analysis of programs and for modeling evaluation strategies. This has led to the developme...