如何通过Prolog将字符串连接到列表中的多个元素？

% 定义一个谓词concatenate，用于将字符串连接到列表中的多个元素
concatenate([], String, String). % 如果列表为空，则连接结果为字符串本身
concatenate([X|Rest], String, Result) :-
    atom_concat(String, X, NewString), % 将字符串与列表中的当前元素连接
    concatenate(Rest, NewString, Result). % 递归处理剩余的元素

% 示例调用
?- concatenate(["Hello", " ", "World"], "", Result).
Result = "Hello World".