>>433
%Prolog
append([],X,X).
append([U|X],Y,[U|Z]) :- append(X,Y,Z).
を
%Erlang
append([],X) -> X;
append([U|X],Y) -> [U|append(X,Y)].
に変換するようなErlang関数が入ってるライブラリって
どこにありますか。
Erlangの歴史を考えれば絶対にあるよね。