文字列から文字を削除する必要があります。例えば:
?- remove_char('abcde', 'c', X).
X = 'abde'
?- remove_char('abcdefgh', 'f', X).
X = 'abcdegh'
これを達成するための簡潔な方法を探していますが、成功していません。私は Prolog を初めて使用し、文字列をリストに変換したくない場合、文字列を扱うのに非常に苦労しています。これには組み込み関数がありますか、または少なくとも節約的な方法はありますか?