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).
© Copyright 2025 ExpyDoc