0

所以我尝试使用 name/2 和 char_codes/2 等将字符串转换为 ascii,但我不断得到诸如 [0w0061,0w0062,0w0063] 之类的东西。

?- name(abc,A).

A = [0w0061,0w0062,0w0063]

我希望返回的列表是 [97,98,99]。有什么帮助吗?

4

1 回答 1

2

好的,我明白了。例如,如果我尝试

?- name(abc,A).

它返回了这个:

 A = [0w0061,0w0062,0w0063]

我取了一个返回的成员并从中减去 0。它看起来像这样。例如:

?- name(a, A).

A = [0w0061] ,
no
?- A is 0w0061 - 0.

A = 97
于 2018-02-22T18:53:45.567 回答