如何從僅接受一個參數的序言函數返回值?防爆。葉(V)是一個函數,它應該返回一個值V,並從函數樹中調用它(leav(V),sum)?從序言中的函數返回值
0
A
回答
2
Prolog沒有函數評估,所以您將不得不表示函數樹作爲關係
f(In,Out) :- ... define the relationship between In and Out in the body ...
例如,對於平方:
square(X,Y) :- Y is X*X.
?- square(12,X).
X=144
在Prolog中的 「功能元件」 是純粹指稱:它們是用於構建術語:
f(x)
上述術語沒有固有含義或可解決性。它只是一個術語,更確切地說是一棵樹
f
|
x
2
序言沒有「功能」,它有「謂詞」。即它們描述了術語之間的關係。謂詞只能評估爲「真」或「假」。
但是,謂詞評估爲真或假的方式是通過統一,即prolog試圖從現有知識庫(即源代碼)中找到將使該謂詞爲真的變量的實例。
因此,您可以欺騙形式Pred(In,Out)的prolog謂詞,這樣對於給定的「In」序言,可以將「Out」與使謂詞爲真的正確值統一爲「Out」。
相關問題
- 1. 從函數返回值
- 2. 從PostgreSQL函數返回值
- 3. 從Ajax函數返回值
- 4. 從函數返回值
- 5. 返回值從PHP函數
- 6. 從函數返回值
- 7. 從函數內返回值
- 8. 從python函數返回值
- 9. 從Python中的函數返回左值?
- 10. 序言「如何返回值」
- 11. 序言,遞歸函數,並通過函數的參數返回值
- 12. 從函數返回序列
- 13. 從函數返回一個回調函數的返回值(嵌套函數)?
- 14. 在函數的函數中返回值
- 15. 從a到返回值的函數的返回值
- 16. 如何從函數中返回值?
- 17. 從Jquery函數中忽略返回值
- 18. 如何從jQuery函數中返回值?
- 19. 從函數中返回2個值
- 20. 如何從SP返回的函數中返回值?
- 21. 從C中的Lua函數返回'nil'與返回0值
- 22. 如何從回調函數返回值
- 23. 從回調函數返回值陣營
- 24. 從函數獲得空值返回值
- 25. 從Python中的函數返回函數
- 26. 從JavaScript中的函數返回函數
- 27. 從函數返回值的問題
- 28. 從的addEventListener函數返回值
- 29. Python的 - 從一個函數返回值
- 30. 從dlsym()返回值的函數?
非常感謝。我想我得到了我的答案。 –