Вывести фамилии сотрудников предприятия и их оклады, оклады которых меньше среднего.

Domains
    list=symbol*
    imia=symbol
    im=integer
Predicates
    sotrudnic(imia,im)
    avg(list,real)
    summa(list,integer)
    length(list,integer)
    go(symbol)
Clauses
    sotrudnic(muhamed,7000).
    sotrudnic(cergei,4000).
    sotrudnic(maasha,2000).
    sotrudnic(marta,5000).
    sotrudnic(cemen,3000).
    sotrudnic(kolia,2500).
    avg([],0):- !.
    avg(L,A):-
        summa(L,S),
        length(L,K),
        A=S/K.
        go(F):-findall(X,sotrudnic(F,X),L),avg(L,A),sotrudnic(F,X),X>A,write("imena",F),nl.

Domains
    list=symbol*
    imia=symbol
    list2=integer*
    im=integer
Predicates
    sotrudnic(imia,im)
    avg(list2,real)
    summa(list2,integer)
    length(list2,integer)
    go(symbol)
Clauses
    
    sotrudnic(7000,muhamed).
    sotrudnic(4000,cergei).
    sotrudnic(2000,maasha).
    sotrudnic(5000,marta).
    sotrudnic(3000,semen).
    sotrudnic(2500,kolia).
    summa([], 0). 
        summa([H|T], S) :-
           summa(T, S_T), S = S_T + H. 
    length([], 0).
    length([_|T], L) :- length(T, L_T), L = L_T + 1.  
                
    avg(L,A):-
        summa(L,S),
        length(L,K),
        A=S/K.
        go(F):-findall(X,sotrudnic(F,X),L),avg(L,A),sotrudnic(F,X),X>A,write("imena",F),nl.
Goal
 go(F).