如何在Prolog中保留變量名？

Question

我試圖編寫一個程序來評估一個函數並對它進行一些操作。

dynamic evaluate/2. 
begin :- writeln("Write your function"), read(Line), 
       assert((evaluate(X, Y) :- Y is Line)). 

由於SWI-Prolog的變量名稱更改爲_«數字»，當我嘗試打電話評估（），這是行不通的。

對此的任何解決方案？

謝謝。

Answer 1

使用read_term/2（http://www.swi-prolog.org/pldoc/man?predicate=read_term/2）與variable_names選項，而不是read(Line)：

read_term(Line, [variable_names(['X'=X])])