私はプロローグでtolowerの実装を作成しようとしていますが、私はエラーが発生し続けており、意味が分かりません。tolowercase実装プロローグでエラーを修正するには？
?- tolower("HE",L).
ERROR: tolower/2: Undefined procedure: (+)/2
これまでのところ私の実装です。
tolower([], _).
tolower([H|T], L):-
H + 32, tolower(T, L).
私たちはH + 32が何を意味するのか見てみましょう：
?- write_canonical(H+32). +(_,32)
ですから、二つの引数で、+と呼ばれる述語を呼び出しています。
このような述語を定義していないため、エラーが発生します。
、算術式を評価し、例えば、そのような整数の(#=)/2などの制約を使用するには：整数として評価、
R #= H + 32
これは関係ある、RがH + 32に等しいという表現。
Prologシステムによっては、(#=)/2を使用するライブラリをインポートする必要があります。