TY - BOOK AU - , 1984 TI - PROGRAMMING IN PROLOG SN - 3-540-15011-0 U1 - , 2 CY - TOKYO PB - SPRINGER- VERLAG ER -