检查两个连接列表是否等于Prolog中的第三个列表

Question

所以当L是其他两个列表X和Y的串联时，我必须成功使用此谓词。显然它还没有工作。问题是如何修复代码片段。作为Prolog的新手，我仍然不确定如何正确实现这一点，直到现在才使用程序编程。

% 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).