4
我使用SICStus序言寫大理劑,我需要一個原子轉換成詞,但我不能用它建在SWI-Prolog的如何在SICStus Prolog中模擬SWI-Prolog的atom_to_term(+ Atom,-Term,-Bindings)?
我使用SICStus序言寫大理劑,我需要一個原子轉換成詞,但我不能用它建在SWI-Prolog的如何在SICStus Prolog中模擬SWI-Prolog的atom_to_term(+ Atom,-Term,-Bindings)?
使用library(codesio)
atom_to_term
:
| ?- 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] ?
除此之外,你需要atom_codes/2
這是ISO。
對於更復雜的操作,您可以使用open_codes_stream/2
打開流。這需要與close/1
關閉。
你可以請看看我正在嘗試做什麼,並幫助實現它在編輯的問題中解釋? – user3025515
@ user3025515:爲此寫一個新問題。你問了一個不同的問題。添加問題後,我會恢復添加的內容。 – false