sec15([X|_]) :-
    X > 5.

avg12([X, Y|_], A) :-
    A is (X + Y) / 2.