Пролог добавляется с оператором вырезания
Какая проблема может возникнуть, когда мы используем append с оператором cut?
append2([],L,L):-!.
append2([H|T],L,[H|TL]):-append2(T,L,TL).
Я пробовал несколько разных входов, но это всегда удается.
?- append2([1,2],[5],L).
L = [1, 2, 5].
?- append2([1,2],[1,2],L).
L = [1, 2, 1, 2].
?- append2([],[1,2],L).
L = [1, 2].
?- append2([1,2],[],L).
L = [1, 2].