最初の引数が複合引数で、2 番目の引数が常に B である 2 つの引数を取る述語があります。 +や&などの新しい演算子もいくつか定義しました。
pvc(A, B) :- somestuff(A, B).
ここで、ユーザーは次のように入力できますpvc((x+y)&(A+b), B)。
Prolog の初心者として、私がやりたいことは、化合物をすべて小文字に変換し、newAで呼び出すことです。となります。somestuffANsomestuff((x+y)&(a+b), B)
次のようなことを試しpvc(A, B) :- downcase_atom(A,AN),somestuff(AN, B).
ましたが、正しい方法ではないようです。どんな助けにも感謝します。