TY - BOOK AU - Clocksin, W. F. AU - Mellish, C. S. TI - Programming Prolog SN - 540175393 U1 - 005.1 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Programming Language KW - Prolog ER -