TY - BOOK TI - Programming in Prolog PY - 2003/// CY - London PB - Springer KW - Computer Science ER -