RosettaCodeData/Task/Apply-a-callback-to-an-array/Prolog/apply-a-callback-to-an-array.pro

 ?- assert((fun(X, Y) :- Y is 2 * X)).
true.

?- maplist(fun, [1,2,3,4,5], L).
L = [2,4,6,8,10].