TY - BOOK AU - Max Bramer TI - Logic Programming with Prolog SN - 978-1-84628-212-6 PY - 2005/// CY - New York PB - Springer US KW - Computer Science ER -