Итак, у меня есть этот предикат, который должен быть успешным, когда L является объединением двух других списков, X и Y.Видимо, это еще не работает.Вопрос в том, как я могу исправить фрагмент кода.Будучи новичком в Прологе, я до сих пор не уверен, как правильно это реализовать, работая до сих пор только с процедурным программированием.
% concat(L,X,Y) returns true if L is the concatenation of the lists X and Y
concat([],L,L).
concat([X1|L1],L2,[X1|L3]) :- concat(L1, L2, L3).