Computing with Logic: Logic Programming with Prolog. The Benjamin/Cummings (1988)

by D Maier, D S Warren