%% 知識情報処理実習 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).