TY - BOOK AU - Bramer,M.A. TI - Logic programming with Prolog SN - 1852339381 (rústica) AV - QA76.63 B73 U1 - 005.1/15 22 PY - 2005/// CY - [London] PB - Springer Verlag KW - Programación lógica KW - Prolog (Lenguaje de programación para computadora) ER -