Logic and prolog - Spencer-Smith, Richard (New York : Harvester Wheatsheaf, 1991)
1
Keywords: Logic programming; Prolog (Computer program language)