Logic and Prolog /
Spencer-Smith, Richard.
New York ; London : Harvester Wheatsheaf,
1991.