путаются ответ Пролога

Question

Рассмотрим:

bar([], Ws, Ws). 
bar([X|Xs], Ys, [X|Zs]) :- bar(Xs, Ys, Zs). 

1) Как не это имеет не решения

bar([1,2], [], [X,X]). 

2) Как это имеет только одно решение, когда Z = 5?

bar([5,Y], [Y,5], [Z,Z|_]). 

3) Как это имеет только одно решение, когда Z = 5 и Y = 5?

bar([_,Y], [5,5], [Z,Z,Z|_]). 

Answer 1

Сначала рассмотрим значение bar/3: правило имеет три аргумента, представляющие списки. bar/3 возвращает решение, когда последний список представляет собой объединение двух первых:

bar([1,2,3], [4,5], X)  // X=[1,2,3,4,5] 
bar([1,2,3], X, [1,2,3,4,5]) // X=[4,5] 
bar(X, [4,5], [1,2,3,4,5]) // X=[1,2,3] 

Зная это, вы можете понять ответы на все ваши вопросы:

• bar([1,2], [], [X,X]). потребность X объединить с 1 и 2 в то же самое время, что невозможно
• bar([5,Y], [Y,5], [Z,Z|_]). объединяет 5 с первой Z, а второй Z с Y, для одного раствора
• bar([_,Y], [5,5], [Z,Z,Z|_]). объединяет Y со вторым Z , а третий Z с 5 для одного решения.