SICStus Пролог атом в строку

Мне нужно преобразовать атом Prolog в целое число. Например:

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

Я видел несколько ответов SO об этом, но они полагаются на SWI-Prolog, и я вынужден использовать SICStus Prolog. Приведение к строке также выполнит эту работу, поскольку я знаю о предикате number_codes/2.

Спасибо за вашу помощь.


casting prolog iso-prolog
person sygi    schedule 24.05.2014    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Хорошо, я нашел ответ (если он вам тоже нужен):

atom_chars('123', Y), number_chars(X, Y).
person sygi    schedule 24.05.2014
comment
Это также работает в B-Prolog и SWI-Prolog. И это нормально принять ваш собственный ответ. - person Sergii Dymchenko; 24.05.2014