The Practice of Prolog - Sterling, Leon (Logic programming, 1990)