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