Пролог: строка в список

Question

У меня есть строка, которую я хочу преобразовать в список:

"a + b = c"

Мне нужно это в формате списка, чтобы передать его на член правила. Когда я передаю его непосредственно в правило члена, оно передается в виде последовательности чисел, которые, как я полагаю, являются их символьным кодом, но вместо этого я хочу использовать настоящие символы. Как мне сделать это в списке, а затем использовать его с правилом. Я новичок в Прологе, поэтому я был бы признателен за любую помощь.

Answer 1

SWI-Prolog имеет string_chars/2, но вы можете получить то же самое, используя 2 предиката, соответствующих ISO

?- atom_codes(A, "a + b = c"), atom_chars(A, Cs).
A = 'a + b = c',
Cs = [a, ' ', +, ' ', b, ' ', =, ' ', c].