TY - BOOK AU - Bratko,Ivan TI - Prolog programming for artificial intelligence SN - 8178082758 U1 - 006.3 22 PY - 2001/// CY - Singapore PB - Pearson KW - Controlling backtracking N1 - Includes index; Dept. of CSE ER -