The Art of Prolog: Advanced Programming Techniques (1986)

by L Sterling, E Shapiro