在prolog Systems跨系统的ATOM_TO_TERM/3等于什么？

Question

我发现Swi-Prolog提供了：

atom_to_term（+atom，-term，-bindings）
使用ATOM用作read_term/2使用选项variable_names
的输入 并在绑定中返回术语和变量绑定。
https://www.sw.sw-swi-prolog.org.org.org/pldoc/pldoc/man？ predicate = atom_to_term/3

但是我很难弄清楚其他prolog Systems 在这方面提供。也许有些人确实已经获得了解决方案， 他们可能想分享吗？

示例它的作用：

?- atom_to_term('X + Y', T, N).
T = _A+_B,
N = ['X'=_A, 'Y'=_B].

Answer 1

两者 swi and 和 eclipse 支持term_string/3和atom_string/atom_string/atom_string/2 ，您可以通过其中写入

atom_to_term(A, T, N) :-
    atom_string(A, S),
    term_string(T, S, [variable_names(N)]).

畸形字符串（语法错误）悄悄地失败，使用

atom_to_term(A, T, N) :-
    atom_string(A, S),
    term_string(T, S, [variable_names(N), syntax_errors(quiet)]).

其他错误处理选项为fail> fail（打印语法错误消息和失败）和错误（投掷错误/2项）。

Answer 2

logTalk在所有这些后端prolystemp上运行，还有几个，提供了便携式 库在/到原子，字符（字符列表）和代码（字符代码列表）中实现阅读/写作术语。例如，使用GNU Prolog：

$ gplgt
...
| ?- {term_io(loader)}.
...
% (0 warnings)

(202 ms) yes
| ?- term_io::read_term_from_atom('X + Y', Term, [variable_names(Vars)]).

Term = A+B
Vars = ['X'=A,'Y'=B]

yes

原子结束时的一个时期是可选的：

| ?- term_io::read_term_from_atom('a(X, Y).', Term, [variable_names(Vars)]).

Term = a(A,B)
Vars = ['X'=A,'Y'=B]

(1 ms) yes

Answer 3

好的，我已经为GNU Prolog找到了这可以起作用：

atom_to_term(A, T, N) :-
   atom_concat(A, ' .', B),
   read_term_from_atom(B, T, [variable_names(N)]).

示例通过了：

?- atom_to_term('X + Y', T, N).
N = ['X'=A,'Y'=B]
T = A+B

但是Tau Prolog（浏览器），Scryer Prolog，Sicstus Prolog，Eclipse Prolog等呢？