Prolog - Bratko, Ivan (Informatica (Ljubljana), 1981)