TY - BOOK AU - Clark, K. L TI - Logic programming AV - QA 76.6 L5 PY - 1982/// CY - London PB - Academic KW - Programación de computadoras KW - Lógica simbólica y matemática N1 - Bibliografía: p. 341-361 ER -