TY  - BOOK
AU  - Clocksin, William F
TI  - Programming in Prolog using the ISO Standard
SN  - 9783540006787
ER  -