PROLOG - ex 2