TY - GEN AU - Spivey, J. M. TI - An introduction to logic programming through Prolog T2 - Prentice-Hall international series in computer science SN - 0135360471 (pbk. : alk. paper) AV - QA76.63 .S64 1996 PY - 1996/// CY - London, New York PB - Prentice Hall KW - Prolog (Computer program language) KW - Logic programming N1 - Includes index ER -