%%   知識情報処理実習 r12の練習問題 解答例

% 1.
find_atom(A,B,[A|L],[B|L]) :- cond(A,B).
find_atom(A,B,[A1|L1],[A1|L2]) :- find_atom(A,B,L1,L2).

cond(a,zzz).

test12_1(B,L2) :- find_atom(a,B,[a,b,c,a],L2).