このディレクトリの索引

#  
#  非決定性述語を目標とする時、その得られる解の内で最後の解だけを取得したい。
#  
#  適用例としては、
#  文字列置換を出現順に非決定性で置換する。つまり利用者は出現順に1-n個の
#  置換を選択することができる。そういう述語が定義済みだとする。
#  この述語を使って、全置換を求めるというような場合。
#  


非決定性述語の最後の解(_非決定性述語,_解) :-
        findall(_解,_非決定性述語,_解ならび),
        last(_解ならび,_解).


%  ?- 非決定性述語の最後の解(member(X,[a,b,c]),X).
%  X = c
%
%  非決定性述語の引数を構成する項の中に_解が含まれる必要がある。
%