問題タブ [case-conversion]

最初の引数が複合引数で、2 番目の引数が常に B である 2 つの引数を取る述語があります。 +や&などの新しい演算子もいくつか定義しました。

ここで、ユーザーは次のように入力できますpvc((x+y)&(A+b), B)。
Prolog の初心者として、私がやりたいことは、化合物をすべて小文字に変換し、newAで呼び出すことです。となります。somestuffANsomestuff((x+y)&(a+b), B)

次のようなことを試しpvc(A, B) :- downcase_atom(A,AN),somestuff(AN, B).
ましたが、正しい方法ではないようです。どんな助けにも感謝します。

私は bash の内部ケース変換を実験しており、矛盾していると思われるものを見つけました。

「aBcDeF」という値を持つ変数を定義し、範囲 [AD] の最初の大文字を小文字に変換してみます。「abcDeF」の結果が期待されますが、代わりに次のようになります。

小文字の「a」と一致しているように見えますが、それはすでに小文字であり、何もする必要はないと結論付けています。

bashのmanページには

ファイル名の展開と同様に、パターンが展開されてパターンが生成されます。parameter の展開された値の各文字がパターンに対してテストされ、パターンと一致する場合は大文字と小文字が変換されます。パターンは、複数の文字との一致を試みてはなりません。

これにより、ファイル名の展開に関するセクションを研究するようになりました。これは、最初の大文字に一致する必要があることを明確に示しています。

これにより、一般的に大文字と小文字の変換について疑問に思い、マニュアルページが示すように物事が機能しません。

私のスクリプト：

これは与える：

bash のバージョンを尋ねると、次のようになります。

これを正しく解釈していますか？そうでない場合、何が間違っていますか？