このディレクトリの索引

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


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


%
%  _非決定性述語の引数を構成する項の中に_項指定が含まれる必要がある。
%