Пролог суммы кратных (рекурсия)

Question

Я пытаюсь решить некоторые проблемы с моей домашней работы в Прологе: суммы кратных:

, например:

multi_sum([[2,3],[5,4],[3,1,2]],X). 

должен вернуться: X = 32. но я получаю в результате: false.

multi([],1). 
multi([A|B]|G):-multi(B,Z),G is A * Z. 

multi_sum([],0). 
multi_sum([A|B],Q):- multi(A,M) , multi_sum(B,T), Q is T + M. 

Answer 1

Вам нужно разделить задачу на две части:

• часть, которая вычисляет произведение списка чисел как ваш multi/2; и
• часть, которая рассчитывает сумму по этим продуктам, как multi_sum/2.

Для вашего multi/2, вы сделали опечатку:

 
multi([A|B]|G):-multi(B,Z),G is A * Z. 

Вторая труба (|) должна быть запятая (,):

 
multi([A|B],G):-multi(B,Z),G is A * Z. 

Сейчас он работает:

?- multi_sum([[2,3],[5,4],[3,1,2]],X). 
X = 32. 

Тем не менее, вы можете повысить эффективность за счет использования аккумуляторов и хвостовую рекурсию:

multi(L,R) :- 
    multi(L,1,R). 

multi([],R,R). 
multi([A|B],S,R) :- 
    T is S*A, 
    multi(B,T,R). 

multi_sum(L,R) :- 
    multi_sum(L,0,R). 

multi_sum([],R,R). 
multi_sum([A|B],S,R) 
    multi(A,Sub), 
    T is S+Sub, 
    multi_sum(B,T,R).