Prologの技芸 9.1節の練習問題

(1)

% flatten(Xs,Ys) :-
%  YsはXsの要素のリストである．
flatten(Xs,Ys) :- flatten(Xs,[],Ys).
flatten([X|Xs],Zs,Ys) :-
 flatten(Xs,Zs,Ys1), flatten(X,Ys1,Ys).
flatten(X,Xs,[X|Xs]) :-
 atomic(X), X \= [].
flatten([],Xs,Xs).