TY - BOOK AU - Bramer,Max TI - Logic programming with Prolog SN - 9781447154860 AV - QA76.63 B73 2013 PY - 2013/// CY - New York, NY PB - Springer KW - Programación lógica (Computación) ER -