Computing With Logic: Logic Programming With Prolog (1988)

by D Maier, D S Warren