所以我尝试使用 name/2 和 char_codes/2 等将字符串转换为 ascii,但我不断得到诸如 [0w0061,0w0062,0w0063] 之类的东西。
?- name(abc,A).
A = [0w0061,0w0062,0w0063]
我希望返回的列表是 [97,98,99]。有什么帮助吗?
所以我尝试使用 name/2 和 char_codes/2 等将字符串转换为 ascii,但我不断得到诸如 [0w0061,0w0062,0w0063] 之类的东西。
?- name(abc,A).
A = [0w0061,0w0062,0w0063]
我希望返回的列表是 [97,98,99]。有什么帮助吗?