Logic and prolog - Spencer-Smith, Richard (Harvester Wheatsheaf, 1991)