寫入內置序言謂詞,例如:aggregate_all/3
,findall/3
,aggregate/4
等等。 aggregate/3
與aggregate/4
有什麼不同?爲什麼使用斜線(/)
0
A
回答
1
斜槓(/)
符號不使用僅在建於謂詞但在所有謂詞螞蟻它指出的參數的謂詞例如aggregate/3
的是帶有三個參數的謂詞的數目(元數),而aggregate/4
是具有謂詞4個參數。
2
數是謂詞的所謂元數並指示參數的謂詞的數量。
,因爲經常有共享相同的名稱謂詞的幾個變種,但在他們的參數的數目不同,這非常有用。
例子:findall/3
和findall/4
,append/3
和append/2
等
也經常看到的符號(Pred)/2
。例如:(#=)/2
。這是因爲#=
(例如)也是一箇中綴運算符,和括號轉(#=)/2
成有效的Prolog項。
相關問題
- 1. 爲什麼用斜線打印時間?
- 2. 爲什麼需要這個斜線?
- 3. 爲什麼此代碼充滿斜線
- 4. 爲什麼Apache刪除多個斜線?
- 5. 爲什麼PyCharm使用雙反斜線來指示轉義?
- 6. 我不明白爲什麼反斜線在使用PHP代碼
- 7. \ curl ... | bash ...什麼是斜線?
- 8. 爲什麼單個反斜槓變成雙反斜線
- 9. 爲什麼ASP.NET MVC4爲路線添加尾部斜線?
- 10. 爲什麼wp_update_post帶斜槓?
- 11. 爲什麼DataFormatString的DisplayFormat將「/」(斜槓)更改爲「 - 」(短劃線)?
- 12. /(斜線)在CSS中意味着什麼?
- 13. 使用點斜線的最佳做法是什麼?
- 14. 爲什麼在Wordpress中使用home_url()時,URL後出現了斜線?
- 15. 爲什麼Mercurial的ssh:// URL在路徑之前使用兩個斜線?
- 16. 爲什麼比較下面的解決方案的斜坡線?
- 17. 爲什麼反斜線(\)在字符串給錯誤控制檯
- 18. 爲什麼ln -s中的斜線很重要?
- 19. <input type =「checkbox」/>爲什麼meteor.js中的斜線指導?
- 20. 爲什麼我沒有獲得水平線的斜率= 0?
- 21. 爲什麼PHP中的_GET錯誤地解碼斜線?
- 22. 歷史上,爲什麼反斜線(\)是轉義字符?
- 23. 爲什麼你需要一個URL末尾的斜線?
- 24. 爲什麼django網址以斜線結尾?
- 25. 爲什麼stripslashes沒有斜線不返回數據?
- 26. 爲什麼django無法在URL中正確匹配雙斜線?
- 27. 爲什麼Gson添加斜線字符串
- 28. 爲什麼斜線鍵「/」不具有47的ASCII值?
- 29. 爲什麼RegEx允許添加多個斜線?
- 30. CloudBlobClient.BaseUri爲什麼添加一個尾部斜線(有時)?
斜槓表示「arity」(表示參數的數量)。它有所不同,因爲一個謂詞,但名稱相同,但不同的arity本質上是一個不同的謂詞。所以,例如,有兩個版本的聚集謂詞。一個是'aggregate/3',它接受3個參數,另一個是'aggregate/4',它接受4個參數。 – lurker