The art of Prolog: advanced programming techniques (1986)

by L Sterling, E Shapiro