TY  - BOOK
AU  - O'Keefe,Richard A.
TI  - The craft of prolog
T2  - Logic programming
SN  - 0-262-15039-5
PY  - 1990/// (1994 reimp.)
CY  - Cambridge, Massachusetts [etc.]
PB  - MIT
KW  - Prolog (Lenguaje de programación)
N1  - Includes bibliographical references (p. [377]-380) and index
ER  -