Mathematical logic and programming languages - Kowalski, R. (Prentice-Hall International, 1985)