TY  - GEN
AU  - Clocksin,William F.
AU  - Mellish, C.S.
TI  - Programming in prolog
U1  - 005.133 
PY  - 2004///
CY  - New York
PB  - Springer
ER  -