FOUNDATIONS OF LOGIC PROGRAMMING - LLOYD,JOHN WYLIE (SV BERLIN, 1984)