prolog - 将字符串转换为序言中的列表

Question

我是 Prolog 的新手，一直坚持将字符串解析为列表。
我有一个表格字符串

1..2...3..4

我想把它转换成一个看起来像的列表

[1, _, _, 2, _, _, _, 3, _, _, 4]

我怎样才能实现这个功能？

Answer 1

另一种解决方案是使用 DCG。代码很简单:

digit(N) -->
    [ D ], { member(D, "0123456789"), number_codes(N, [D]) }.

dot(_) --> ".".

token(T) --> digit(T).
token(T) --> dot(T).

tokens([T|Ts]) --> token(T), tokens(Ts).
tokens([]) --> "".

parse_codes(In, Out):-
    phrase(tokens(Out), In, "").

parse_atom(In, Out):-
    atom_codes(In, Codes),
    parse_codes(Codes, Out).

使用“字符串”(实际上只是代码列表)在 SWI-Prolog 上进行测试:

?- parse_codes("1..24.4", Out).
Out = [1, _G992, _G995, 2, 4, _G1070, 4] .

并使用原子(在使用相同谓词之前仅将其转换为代码):

?- parse_atom('1..22.4', Out).
Out = [1, _G971, _G974, 2, 2, _G1049, 4] .

SWI-Prolog 以更高级的符号打印匿名变量 (_)，否则它应该与您需要的结果相同。