Using Prolog techniques to guide program composition. - María D. S. Vargas-Vera (1995)