Аккумулятор в рекурсивной функции - Prolog

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

Доброго времени суток, товарищи! Собственно, вот код и ниже вопрос к нему:

foo(I, J, N, RES) :-
 (I < N ->
    (J < N ->
        NEWRES is RES + 1,
        NEWJ is J + 1,
        foo(I, NEWJ, N, NEWRES)
      ; NEWI is I + 1,
        foo(NEWI, 0, N, RES)
    )
 ).
 
main :- foo(0, 0, 3, RES), write(RES).

Не знаю как инициализировать начальное значение счетчика RES, сейчас ругается и выдает такое сообщение:

ERROR: foo/4: Arguments are not sufficiently instantiated

Подскажите, как это делается!

Решение задачи: «Аккумулятор в рекурсивной функции»

textual
                            Листинг программы 
                        

                            res = 0
for i = 1 .. n
    for  j = 1 .. n
        res += ...
                        