Value_list/3 - Construct a list of same value

[jan]

@EricGT

value_list(Length,Value,L) :-
    length(L0,Length),
    maplist({Value}/[_,Value]>>true,L0,L).

What about this?

value_list(Length,Value,L) :-
    length(L,Length),
    maplist(=(Value),L).