Foundations of Logic Programming (1987)

by J W Lloyd