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