Foundations of Logic Programming (2nd edition (1987)

by J W Lloyd