Prolog

✍ dations ◷ 2025-08-08 07:28:27 #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：

相关

多糖多糖（英语：Polysaccharide）由多个单糖分子脱水聚合，以糖苷键连接而成，可形成直链或者有分支的长链，水解后得到相应的单糖和寡糖。例如用来储存能量的淀粉和糖原，以及用来组成生物结
克拉克·L·赫尔克拉克·莱昂纳多·赫尔（Clark Leonard Hull，1884年5月24日－1952年5月10日），美国著名心理学家，新行为主义代表人物之一。赫尔出生于纽约州阿克伦市，家境贫穷，多次辍学，直到16岁才开始
马提亚尔马提亚尔（拉丁语：Marcus Valerius Martialis），（40年－？），古罗马文学家，曾经往返于西班牙至罗马城两地。早年生活贫寒，后来凭借诗歌而闻名于世。其作品取材广泛，短小精悍，经常为时人所称道，
威尔科克斯县威尔科克斯县（Wilcox County, Georgia）是美国乔治亚州南部的一个县。面积993平方公里。根据美国2000年人口普查，共有人口8,577人。县治阿布维尔 (Abbeville)。成立于1857年12月
加冕加冕，是指将代表权力之冠冕戴上的一种仪式，加冕礼是在君主的头上放置或赠予王冠的行为。这个术语通常不仅指物理冠冕，而且指整个仪式，其中冠状物的行为发生，以及其他物品的呈现，
伊斯兰合作组织伊斯兰合作组织（阿拉伯语：منظمة التعاون الإسلامي‎；英语：Organisation of Islamic Cooperation；法语：Organisation de la coopération islamique）原名伊斯兰
饱和溶液在一定温度下，在一定量的溶剂里加入某种溶质，当溶质不能继续再溶解时，所得到的溶液叫做饱和溶液（saturated solution）。仅凭人类的肉眼不能观察出溶液是否已达到饱和状态。通常情
范懋柱范懋柱（约1718年－1788年），字汉衡。清朝藏书家。浙江鄞县（今属宁波市海曙区）人，范钦八世孙。早年曾是诸生。乾隆帝诏修《四库全书》时，范懋柱进呈天一阁珍本638种，绝大多数未归还。乾
潘基文潘基文（韩语：반기문，1944年6月13日－），前大韩民国外交通商部长官，第8任联合国秘书长，现任国际奥林匹克委员会道德委员会主席，博鳌亚洲论坛理事长。1944年6月13日，潘基文出生于今韩国忠
德国唯心主义德国唯心主义一般是指从18世纪晚期至19世纪早期在德国建立起来的哲学，它由康德在1780年到1790年间的作品发展起来，并和浪漫主义、启蒙运动的政治革命有着密切联系。在它的发展