Transcript Prologでのリスト探索

Prologでのリスト探索
search(X , [])
:- ! , fail.
search(X , [X|L] :- ! , true.
search(X , [Y|L] :- ! , search(X,L).
Prologでのリスト要素置き換え
replace(0,X , [Y|L],[X|L]) .
replace(N,X,[],[X]). /* 便宜的処理 */
replace(N,X , [Y|L],[X|LL])
:- NN is N-1,
replace(NN,X,L,LL).