TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 3540150110 PY - 1984/// CY - Berlin PB - Springer-Verlag KW - Prolog (Computer program language) ER -