TY  - BOOK
AU  - Academic Press Clark, K. L
TI  - Logic programming
SN  - 0-12-175520-7
U1  - 005.1 LOG'C 
PY  - 1982///
CY  - LONDON
PB  - ACADEMIC PRESS
KW  - LOGIC SYMOLIC AND MATHEMATICAL ELECTRONIC DIGITAL COMPUTERS PROGRAMMING ACC NO-
ER  -