TY  - BOOK
AU  - Clocksin,William F.
TI  - Programming in prolog
AV  - QA76.73 .P76C56 1987
PY  - 1987///
PB  - Springer Verlag
ER  -