TY - BOOK AU - "Suri, R P" TI - Introduction to Prolog CY - Narosa N1 - includes index and biblioraphy ER -