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