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:地理论述
这些短语在Prolog编程中经常使用,可以帮助你更好地理解和使用Prolog语言。