Meta-interpreters and partial evaluation in Parlog
Matthew M. Huntbach · Formal Aspects of Computing · 1989
Abstract Since logic programs are executable specifications, the main concern of logic programming, producing efficient programs, is tangential to the mainstream of formal methods. A fashionable automatic transformation technique for producing efficient programs, partial evaluation, applied to the concurrent logic programming language Parlog is discussed.