TY  - BOOK
AU  - "Clocksin, W.F."
TI  - Programming in Prolog
U1  - 005.133 
PB  - Narosa
ER  -