如何在SICStus Prolog中模拟SWI Prolog的原子到原子项(+;原子,-项,-绑定)?

如何在SICStus Prolog中模拟SWI Prolog的原子到原子项(+;原子,-项,-绑定)?,prolog,sicstus-prolog,Prolog,Sicstus Prolog,我正在使用SICStus Prolog编写Dali代理,我需要将一个atom转换为一个术语,但我不能使用内置于SWI Prolog中的atom-to-term,请使用: 除此之外,您还需要ISO的原子代码/2 对于更复杂的操作,可以使用open\u codes\u stream/2打开流。需要使用close/1关闭哪些功能?请您看看我正在尝试做什么,并按照编辑的问题中的解释帮助实现它?@user3025515:为此编写一个新问题。你问了一个不同的问题。在您添加问题后,我将还原您添加的内容。 |

我正在使用SICStus Prolog编写Dali代理,我需要将一个atom转换为一个术语,但我不能使用内置于SWI Prolog中的
atom-to-term
,请使用:

除此之外,您还需要ISO的原子代码/2


对于更复杂的操作,可以使用
open\u codes\u stream/2
打开流。需要使用
close/1

关闭哪些功能?请您看看我正在尝试做什么,并按照编辑的问题中的解释帮助实现它?@user3025515:为此编写一个新问题。你问了一个不同的问题。在您添加问题后,我将还原您添加的内容。
| ?- use_module(library(codesio)).
yes
?- set_prolog_flag(double_quotes,codes).
true.
| ?- read_from_codes("a(X,Y).",T).     

T = a(_A,_B) ? yes
| ?- read_term_from_codes("a(X,Y).",T,[variable_names(VN_list)]).
T = a(_A,_B),
VN_list = ['X'=_A,'Y'=_B] ?