Аргументы Prolog недостаточно инстанцируются (функция, которая вычисляет длину списка)

Question

Я создал функцию, которая вычисляет длину списка. Ниже мой код.

listLength(LIST) :- solve(LIST, LENGTH), write(LENGTH). 
solve([], _). 
solve([_|T], LENGTH) :- ADD is LENGTH + 1, solve(T, ADD). 

При запуске этот код с входом

- listLength ([1, 2, 3, 4, 5, 6, 7]).

тогда, переводчик показал мне сообщение об ошибке solve/2 : Arguments are not sufficiently instantiated.

, когда я изменил выше кода, как показано ниже.

listLength(LIST) :- LENGTH is 0, solve(LIST, LENGTH), write(LENGTH). 
solve([], _). 
solve([_|T], LENGTH) :- ADD is LENGTH + 1, solve(T, ADD). 

Когда я запускаю этот код с тем же входом, то всегда написано.

Я хочу рассчитать LENGTH, и я хочу использовать переменную в функции listLength.

Что случилось со мной? (Пожалуйста, обратите внимание, что я использую swi-пролог.)

Answer 1

Первая ошибка в базовом корпусе. Вместо solve([], _). вы должны написать solve([], 0)., потому что, если вы не знаете длину пустого списка, как вы найдете рекурсивно для больших списков.

Существует также еще одна проблема в:

solve([_|T], LENGTH) :- ADD is LENGTH + 1, solve(T, ADD). 

при попытке вычислить добавляемый ДЛИНА + длина 1 не инстанцирован рассчитанным. Вы должны изменить порядок, как:

listLength(LIST) :- solve(LIST, LENGTH), write(LENGTH). 
solve([], 0). 
solve([_|T], LENGTH) :- solve(T, ADD), LENGTH is ADD+ 1. 

Теперь запрашивая:

?- listLength([1, 2, 3, 4, 5, 6, 7]). 
7 
true.