TY - BOOK AU - Clocksin W F AU - Mellish C S TI - Programming in prolog SN - 3-540-15011-0 U1 - 005.133 PY - 1984/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Programming language KW - PROLOG ER -