Среднее арифметическое элементов списка - Prolog

Формулировка задачи:

Помогите найти среднее арифметическое элементов списка:

domains
i=integer*
r=real
 
predicates
sum(i,r)
avg(i,r)
length(i,r)
 
clauses
sum([], 0). 
sum([H|T], S) :-sum(T, S_T),
S = S_T + H.
length([], 0).
length([_|T], L) :-length(T, L_T), 
L = L_T + 1.
avg(L,A):-sum(L,S),
length(L,K),
A=S/K.

Попыталась создать программу по учебнику http://books.google.ru/books?id=Xy3U...Prolog&f=false но нашла тут правильно написанную программу, которая приведена выше. Для меня остались непонятными строки:

length([_|T], L) :-length(T, L_T), - ??????? 
L = L_T + 1. - ?????????
avg(L,A):-sum(L,S), - chto zdes L, chto zdes A????

И еще. Как правильно составить запрос?

Решение задачи: «Среднее арифметическое элементов списка»

textual
                            Листинг программы 
                        
                            avg([1,2,3,4,5], A).