TY - BOOK AU - 30 TI - Programming in Prolog SN - 0387110461 (U.S. : pbk.) U1 - 001.6424 CLO 19 N1 - Includes bibliographical references and index ER -