Foundations of Logic Programming second edition (1987)

by J Lloyd