Prolog : programming for artificial intelligence. - Bratko, Ivan