TY - BOOK AU - Clocksin, W.F. TI - Programming in Prolog SN - 8185015856 U1 - 005.133 PY - 1984/// CY - Berlin PB - Springer-Verlag KW - Prolog (computer program language) ER -