更新時間:2025-04-06 06:35:14作者:留學之路
Prolog是一種編程語言和編程語言解釋器,主要用于回答邏輯問題,尤其是那些涉及自然語言的問題。它是一種基于規則的編程語言,其中規則通常以形式化的方式表示為“如果...那么...”。Prolog的主要用途是自動推理,包括搜索和演繹推理。它通常用于構建專家系統、自然語言處理、機器學習和人工智能應用。
1. query:查詢
2. clause:子句
3. rule:規則
4. negate:否定
5. negation by failure:失敗否定
6. backtracking:回溯
7. resolution:決議
8. unification:統一
9. existential quantifier:存在量詞
10. universal quantifier:全稱量詞
11. cut point:斷點
12. failure sensitive:失敗敏感的
13. failure insensitive:失敗不敏感的
14. backtracking point:回溯點
15. inference rule:推理規則
16. ground term:基條款
17. uninstantiated variable:未實例化的變量
18. instantiation:實例化
這些短語在Prolog編程中經常使用,可以幫助你更好地理解和使用Prolog語言。