TY - BOOK AU - Bramer, Max TI - Logic Programming with Prolog SN - 9781447154860 U1 - 005.133 PY - 2013/// CY - London PB - Springer ER -