Foundations of Logic Programming, 2nd Edition (1987)

by J W Lloyd