Prolog programming using skeletons and techniques (1990)

by M Kirschenbaum, L Sterling