map (LMNtal)

ふとしたきっかけで LMNtal map関数のつもり．

map(f, [1,2,3], result).
f(X, R) :-  R=X+1.

map(f, [X|XS], R) :- YS=map(f, XS), f(X, Z), R=[Z|YS].

map(f, [], R) :- R=[].

追記：コメントいただきました．汎用的な map はコメント参照．