TY - BOOK AU - 31 TI - PROGRAMMING PROLOG ER -