TY - BOOK AU - Bratko TI - Prolog : programming for aritificial intelligence SN - 0 PY - 0000///0 PB - Pearson ER -