TY - BOOK AU - Bratko, Ivan TI - Prolog programming for artificial intelligence SN - 0201142244 U1 - 001.535, PY - 1986/// CY - Singapore: Addison-Wesley ER -