Reforming compilation of logic programs - Millroth, Håkan (Uppsala theses in computing science,, 1990)