在 Prolog 中评估字符串

Question

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

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.

Evaluating a String in Prolog