论文部分内容阅读
Prolog作为一种逻辑语言广泛被运用于人工智能和专家系统中。不同于其他编程语言,Prolog类似自然语言的语法使它更容易被读懂和理解,因此它被认为可能是一种出色的帮助学习逻辑知识的工具,一些科学家已经通过实验证明了Prolog甚至可以很好的被儿童运用和学习,本文将延续这个思路,回顾过往实验和结果,结合数学中几何证明问题的例子,提出将Prolog运用于教育,尤其是面向非计算机专业相关人员进行逻辑相关问题的学习上的可能性和优势。