TY  - BOOK
AU  - Clark,K.L.
AU  - Tärnlund,S.A.
TI  - Logic programming 
SN  - 0121755207
AV  - QA76.6  L64 1982
PY  - 1982///
CY  - New York, NY. : 
PB  - Academic Press, 
KW  - lemb
KW  - Lógica
KW  - Programación
N1  - Bibliografía : p. 341-361; Incluye índice
ER  -