3
在學習序言我發現下面的真或假的問題語言：的具體含義 - X是X + 1
在Prolog
?- X is X+1導致變量X的一個增量。
老師說這是假的，但我不明白爲什麼。從現在開始不會X是X+1？爲什麼它是假的？
A
回答
6
Prolog不能與變量一樣可以改變值的元素。變量是一個當前沒有值的元素，一旦它有一個值，它就不能改變該值（除了統一消除的回溯）。
如果X已具有一定的價值，X+1將被計算，但你不能統一3與4：
?- X=3, X is X+1.
false.
如果X是在那一刻不接地時，is謂詞將失敗：
?- X is X+1.
ERROR: is/2: Arguments are not sufficiently instantiated
這個問題可能要證明一個根本的區別在命令式編程和邏輯式編程之間：在命令式編程中一個變量可以是分配給一個（新）值，邏輯編程中一個變量只能用接地一次（回溯除外）。一旦完全接地，你不能以地面它不同的方式。
相關問題
- 1. Python中X = X [：，1]的含義
- 2. C++ x + = 1 x ++和x = x + 1是不是一樣？
- 3. Jackson 1.x到2.x以及向後兼容的含義
- 4. Double.doubleToLongBits（x）的含義
- 5. 「$ {x %% *}」在sh中的含義是什麼？
- 6. GNU Gas裝配體中的等號賦值「x = 1」和「.equ x，1」或「.set x，1」是否有區別？
- 7. log（1 + x）是log1p，因爲log（1-x）是？
- 8. x ++在裝配中比x = x + 1和x + = 1更有效嗎？
- 9. 具體含義
- 10. RSpec 1.x到RSpec 2.x（Rails 2.x到Rails 3.x）
- 11. C中「* x = 1」和「x = 1」之間的區別是什麼？
- 12. 從矢量選擇升[x]其中（L [X] - 1 [X-1]）> 1
- 13. 評估1 /的tanh（X） - 1/X爲非常小x
- 14. cocos2d-x是否具有OS X模板
- 15. 將索引從elasticsearch 1.x遷移到elasticsearch 2.x的工具
- 16. 什麼是list.count（x => x * x> 1）在做什麼？
- 17. 對於整數x，（x == x + 1）總是返回false？
- 18. Math.Cos（X）< - 1其中x
- 19. Struts 1.x vs Struts 2.x
- 20. Cocos2d 2.x，1.x和ARC
- 21. Excel VBA循環x = x + 1
- 22. MySQL INT（x）與INT（x + 1）
- 23. 從＃定義SQR（X）（X * X）
- 24. 更短的寫法if（x == 1 || x == 5 || x == 7 || x == 22）
- 25. #define x 4 + 1 .......當x的立方體被打印時，輸出是什麼？
- 26. 如何在SPSS中編程l（x）= l（x-1）-d（x-1）？
- 27. 在Haskell中計算`[1，x^1，x^2，...，x^n]`
- 28. 從Struts 1.x遷移到GWT 2.x
- 29. symfony的1.x的
- 30. 'hx，xedge = np.histogram（x，xgrid）'的含義'
在Prolog中，「X是X + 1」表示「X」與「X + 1」具有相同的值，這顯然是錯誤的。與其他語言不同，它不是'X'的新任務。一旦「X」的值已經確定，除非通過回溯，否則不能更改。 – lurker