格式化輸出在序言

Question

我有以下謂詞

sqrt_table(X,Y,Result):- 
    X=:=Y, 
    Z is sqrt(X), 
    Result = [[X,Z]]. 
sqrt_table(X,Y,Result):- 
    X>Y, 
    Q is X-1, 
    sqrt_table(Q,Y,Z), 
    T is sqrt(X), 
    append([[X,T]],Z,Result). 

當我使用它，它輸出了我一個整數，即。 2,3,4,5,6，而不是浮動。如何格式化以輸出浮點結果？

Answer 1

可能是您Prolog的錯誤。你在用什麼？在SWI-Prolog的，我得到

?- sqrt_table(5,2,L). 
L = [[5, 2.23606797749979], [4, 2.0], [3, 1.7320508075688772], [2, 1.4142135623730951]] 
. 

比較合理的，我想......

編輯現在我明白你的問題：你需要訪問的子列表浮點數...在這裏我使用會員獲得回溯訪問計算列表

2 ?- sqrt_table(5,2,L),member([_,R],L),format('~4f',R). 
2.2361 
L = [[5, 2.23606797749979], [4, 2.0], [3, 1.7320508075688772], [2, 1.4142135623730951]], 
R = 2.23606797749979 ; 
2.0000 
L = [[5, 2.23606797749979], [4, 2.0], [3, 1.7320508075688772], [2, 1.4142135623730951]], 
R = 2.0 ; 
...