Prolog programming for artificial intelligence - Bratko, Ivan (Addison-Wesley, Harlow, 2001)