TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 0387175393 (U.S.) : AV - QA76.73.P76 C57 1987 U1 - 005.13/3�19 PY - 1987/// CY - Berlin PB - Springer-Verlag KW - Prolog (Computer program language) ER -