% Prologへの入門 3章 p.72, p.73の練習問題をやってみました % 3.1 (a) conc([], L, L). conc([X|L1], L2, [X|L3]) :- conc(L1, L2, L3). rm_back3(L, L1) :- conc(L1, [_, _, _], L). % 3.1 (b) rm_top3(L, L1) :- conc([_, _, _], L1, L). rm_top3_back3(…

% 3.3 evenlength([]). evenlength([X|L]) :- oddlength(L). oddlength([_]). oddlength([X|L]) :- evenlength(L). % 3.4 conc([], L, L). conc([X|L1], L2, [X|L3]) :- conc(L1, L2, L3). reverse([], []). reverse([X|L1], L) :- reverse(L1, L2), conc(L2…