TY - BOOK AU - BRATKO TI - PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE SN - 9.79E+12 U1 - 005.133PR BRA PB - PEARSON ER -