序言： - 錯誤代碼

Question

我一直在努力解決的難題

? − evalExp(exp(−, exp(∗, 3, 4), exp(/, 2, 3)), N). 
N = 11.333333333333334. 

我的代碼是工作在Windows，但不是在ubuntu.This工作是我的代碼。

evalExp(exp(X,L,R),N):-expr(exp(X,L,R),N). 
expr(exp(-,L,R),N):-expr(L,N1),expr(R,N2),N is N1-N2. 
expr(exp(+,L,R),N):-expr(L,N1),expr(R,N2),N is N1+N2. 
expr(exp(*,L,R),N):-expr(L,N1),expr(R,N2),N is N1*N2. 
expr(exp(/,L,R),N):-expr(L,N1),expr(R,N2),N is N1/N2. 
expr(exp(**,L,0),N):-N=1. 
expr(exp(**,L,R),N):- 
    expr(L,N1),expr(R,N2),P is N2-1,expr(exp(**,N1,P),N3),N is N1*N3. 
expr(A,N):- N is A. 

Answer 1

我不能在代碼中看到您的基本情況。你應該有一個代碼來回溯。

Answer 2

你的問題是你的最後一個條款，它在回溯時將嘗試評估表達式。 它可以通過檢查輸入值（您的子句中的A）是一個數字來解決。所以最後一句應改爲：

expr(N,N):- number(N). 

還有與**處理與參數0在從句中作單變量，它應該閱讀：

expr(exp(**,_,0),N):-N=1.