TY  - BOOK
AU  - CLARK, K. L.
TI  - Logic Programming
SN  - 0-12-175520-7
U1  - 5.02 
PY  - 1982///
CY  - Newyork
PB  - AP press
ER  -