Prolog

✍ dations ◷ 2025-09-18 08:35:36 #Prolog

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份，自1972年以后，分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是David Warren编写的。Prolog一直在北美和欧洲被广泛使用。日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。在早期的机器智能研究领域，Prolog曾经是主要的开发工具。80年代Borland开发的Turbo Prolog，进一步普及了Prolog的使用。1995年确定了ISO Prolog标准。有别于一般的函数式语言，prolog的程序是基于谓词逻辑的理论。最基本的写法是定义对象与对象之间的关系，之后可以用询问目标的方式来查询各种对象之间的关系。系统会自动进行匹配及回溯，找出所询问的答案。Prolog代码中以大写字母开头的元素是变量，字符串、数字或以小写字母开头的元素是常量。下划线（_）被称为匿名变量。表示事实：表示kate和bill是人（human），kate喜欢bill，而表示规则：表示对于两个对象XY，如果X喜欢Y，且Y喜欢X，那么他们是朋友。示例如下：快速排序示例（对list作排序）：下面简洁的排序示例可以体会到为什么AI领域喜用Prolog：示范罗素悖论在Prolog下会导致Stack Overflow：

相关

留基伯留基伯（希腊文：.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano
民族语“民族语：全世界的语言”（Ethnologue: Languages of the World），又译为“民族语言网”，是一个语言学的相关网站，是基督教以传教为目的的少数语言研究服务机构“美国国际语言暑期学
日本－琉球语系日琉语系，或者称作日本－琉球语系，是学者提出的一个语系，包含日语和琉球语两大分支。日琉语系这个概念由美国的日本学者Leon Serafim提出。日琉语系的所有语言的祖语都是原始日本
妈妈手狄奎凡氏症（De Quervain Disease），正式医学名称为桡骨茎突狭窄性腱鞘炎，俗称妈妈手，因瑞士外科医生弗里茨·狄奎凡（英语：Fritz de Quervain）于1895年详谈此症而得名。是控制拇指运动
康拉德·格斯纳康拉德·格斯纳（德语：Conrad Gesner，1516年3月26日－1565年12月13日），瑞士博物学家、目录学家。他的五卷本巨著《动物史》涵盖广泛，且配有精确的插图，被认为是动物学研究的起源之作。
世界音乐节世界音乐节（法语：Fête de la Musique）是一个文化活动，于每年的6月21日举行。最早提处世界音乐节的是法国文化部长贾克·朗。现在世界超过120个国家庆祝世界音乐节。
大东部大区大东部（法语：Grand Est）是法国的大区之一，由阿尔萨斯、香槟-阿登、洛林3个大区合并而成，于2016年1月1日正式成立、同年9月28日改用现名。2014年，法国政府开始谋划行政区划改革方案
费米凝聚费米凝聚（Fermionic condensate）：类似于玻色-爱因斯坦凝聚态，由大量费米子占据同一量子态形成。由于泡利不相容原理，不同的费米子不能占据同一量子态，因此费米子不能像玻色子那样
氧化亚锡氧化亚锡是一种无机化合物，化学式为SnO。在250~350℃加热甲酸亚锡，或者在320~350℃加热草酸亚锡，均可得到氧化亚锡：也可以在氯化亚锡溶液中，加入碳酸钠溶液至溶液刚呈碱性，得到水
脑中的资讯处理速度心理测时法可被定义为人脑信息处理的时序研究或者为心理活动的精确测量。心理测试法可以被用在认知心理学或行为神经科学中来解释认知过程的机理。