Prolog program development via enhanced schema based transformations - Vasconcelos, Wamberto; Fuchs, Norbert E. (1995)