TY - BOOK AU - Bratko, Ivan TI - Prolog: Programming for artificial intelliance U1 - 006.3 B737P PY - 2001/// CY - Singapore PB - Addison-Wesley ER -