Prolog programming for artificial intelligence by Ivan Bratko.. - Bratko. Ivan. (Addison-Wesley Pearson Education Limited, 2001)