TY - BOOK AU - Clocksin,W.F. AU - Mellish,C.S. TI - Programming in Prolog SN - 3540006788 (alk. paper) U1 - 005.133 CLO 21 PY - 2003/// CY - Berlin, New York PB - Springer-Verlag KW - Prolog (Computer program language) N1 - Includes bibliographical references and index ER -