SWI Prolog程序找到對數

Question

lgstar(1,0). 
lgstar(N,Answer):- 
    (N = 2**x while x is int -> 
     N > 1, 
    N1 is N/2, 
    logbN(N1,2,A), 
    Answer is A + 1 
    ). 

在上面的程序中，我試圖得到lgstar的答案，當N是一個2的冪數時，即我希望的輸出是lgstar（8， x）是X = 3。

但是，在while x is int，我收到錯誤

運營商預計

我能給的條件x is int以這樣的方式？

Answer 1

我提供這個（越野車），內容片段在你鍛鍊，請試着去了解發生了什麼，如果你取出切成......（提示：I「忘記」你已經在你的代碼中的安全狀況）

lgstar(1,0) :- !. 
lgstar(N,N_Lg) :- M is N>>1, lgstar(M,M_Lg), N_Lg is M_Lg+1.