TY  - BOOK
AU  - Clark, K.
AU  - Tarnlund, S.
TI  - Logic Programming
SN  - 0121755207
PY  - 1982///
CY  - London
PB  - Academic Press Inc.
KW  - Computer Science
KW  - Electronic Digital Computers
KW  - Programming
KW  - Logic Symbolic
KW  - Logic Mathematical
KW  - Programming Languages
ER  -