2013-11-23 124 views

回答

4

使用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關閉。

+0

你可以請看看我正在嘗試做什麼,並幫助實現它在編輯的問題中解釋? – user3025515

+0

@ user3025515:爲此寫一個新問題。你問了一個不同的問題。添加問題後,我會恢復添加的內容。 – false