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