casting - SICStus Prolog アトムから文字列へ

Question

Prolog アトムを整数に変換する必要があります。例えば：

?- convert('123', X).
X = 123
yes

それについていくつかのSOの回答を見たことがありますが、それらはSWI-Prologに依存しており、SICStus Prologを使用せざるを得ません。number_codes/2述語を認識しているため、文字列へのキャストも機能します。

ご協力いただきありがとうございます。

Answer 1

わかりました、私は答えを見つけました（あなたもそれを必要とする場合に備えて）：

atom_chars('123', Y), number_chars(X, Y).