评估Prolog中的字符串

Question

在prolog中我有一个需要评估的字符串，例如：

X = '4+2/5'

有没有办法将此字符串转换或解析为要评估的表达式？

类似的东西：

?- String_Eval('4+2/5', Result).
Result = 4.4.

使用SWI-Prolog 6.6.6。

由于

Answer 1

您可以使用谓词term_to_atom/2将原子（您称之为字符串）转换为可评估的术语，然后使用is运算符执行指定的操作。如果安全性是一个问题，应该小心，因为这大致相当于JavaScript中的eval。

完整示例

?- term_to_atom( T, '4 + 2 / 5' ).
T = 4+2/5.

?- term_to_atom( T, '4 + 2 / 5' ), X is T.
T = 4+2/5,
X = 4.4.