Foundations of Logic Programming (Second, Extended Edition (1987)

by J W Lloyd