Prolog programming for artificial intelligence - Bratko, Ivan