TY - BOOK AU - Clocksin, W. F. and Mellish, C. S. AU - Mellish, C. S. ; jt. auth. TI - Programming in prolog U1 - 518.5424P PY - 1981/// CY - Berlin PB - Springer-Verlag ER -