在Prolog中用另一个列表替换列表的一部分

replace(List, Start, End, Replacement, Result) :-
    length(List, Length),
    Length >= End,
    length(Replacement, ReplacementLength),
    NewLength is Length - (End - Start + 1) + ReplacementLength,
    length(Result, NewLength),
    append(Prefix, _, List),
    length(Prefix, Start),
    append(Prefix, _, Temp),
    length(Temp, End),
    append(Prefix, Replacement, Temp),
    append(Result, _, Temp).

?- replace([1,2,3,4,5], 2, 4, [a,b,c], Result).
Result = [1, 2, a, b, c, 5] ;
false.