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