TY - BOOK AU - Bratko, Ivan TI - Prolog: programming for artificial intelligence SN - 81-7808-257-8 U1 - 001.535 Bra PY - 2001/// CY - Addison-Wesley, Harlow KW - Computer Science ER -