Axiomatic Specification of Syntax-Directed Translation.

Predicate logic is applied to the specification of syntax-directed translation. Context-free grammars are shown to be representable by logic programs, and a translation from grammars to logic programs is presented as a logic program. Coupled grammars are introduced, shown to be interpretable as translators, shown to be representable as logic programs, and translation from coupled grammars to logic programs is presented via logic programs. Mixed grammars, a concisely representable special case of coupled grammars, are given in terms of coupled grammars. (Author)