PRODUCTIVE PROLOG PROGRAMMING - Schnupp, Peter (Carl Hanser, 1986)