Logic and Prolog - Spencer-smith, R. (New York : Harvester Wheatsheaf, 1991)
Keywords: Prolog: Logic Programming