Foundations of Logic Programming, second edn (1987)

by J W Lloyd