TY  - BOOK
AU  - Spencer-smith, R.:
TI  - Logic and Prolog
SN  - 0000745010229
U1  - 005.115 
PB  - New York : Harvester Wheatsheaf
KW  - Prolog: Logic Programming
ER  -