TY - BOOK AU - Clocksin,W.F. AU - Mellish, C. S. TI - Programming in Prolog SN - 3540175393 U1 - 005.13 22 PY - 1987/// CY - Berlin PB - Springer- Verlag KW - Programmig KW - Prolog KW - Arithmetic N1 - Includes index ER -