TY - BOOK AU - Bramer, Max TI - Logic Programming with Prolog SN - 9781447154860 U1 - 005.133 PY - 2013/// CY - New York PB - Springer UR - www.springer.com ER -