Prolog programming for artificial intelligence - Bratko, Ivan. (Addison-Wesley publishing company, 2001)