TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 0387110461 (U.S. : pbk.) AV - QA76.73.P356 C57 U1 - 001.64/24 19 PY - 1981/// CY - Berlin, New York PB - Springer-Verlag KW - Prolog (Computer program language) N1 - Includes bibliographical references and index ER -