AB28 1 Derivation of logic programs by functional methods

In this note we present a method for the calculational derivation of logic programs, employing techniques recently developed for the derivation of functional programs. It has been proposed [10] that the process of synthesizing logic programs should begin with a specification that is itself a (possibly inefficient) logic program; subsequently transformation