% -*- prolog -*-

foo(X, f(X)).

% mapfoo( [1,2,3], [f(1), f(2), f(3)] ).

mapfoo([], []).
mapfoo([A|X], [B|Y]) :- foo(A, B), mapfoo(X, Y).
