TY - BOOK AU - Clocksin, W. F ; TI - Programming in Prolog SN - 8185015856 U1 - 005.133 CLO PY - 1984/// CY - Berlin ; New York PB - : Springer-Verlag, KW - Prolog (Computer program language) KW - Programming in Prolog KW - computer science KW - W F Clocksin ER -