SWI-Prolog是否有读取科学记数法的方法？

Question

SWI-Prolog是否有读取科学记数法的方法？我在这里或文档中找不到任何东西。例如，除了硬解析它之外，有没有办法阅读7.33E-05？

谢谢！

Answer 1

一种选择阅读数字像7.33E-05是通过使用“read_term”谓词族，例如：

read_term_from_atom('7.33E-05', N, []) 

应解析7.33E-05并保存到变量N中。

Answer 2

下面是一个例子使用科学计数法：

?- X = 7.33E-05, Y = 6.4E-03, Z = X+Y, Y > X. 
X = 7.33e-5, 
Y = 0.0064, 
Z = 7.33e-5+0.0064. 

实际做简单的数学使用：

?- use_module(library(clpr)). 
?- X = 7.33E-05, Y = 6.4E-03, {Z=X+Y}. 
X = 7.33e-5, 
Y = 0.0064, 
Z = 0.0064733