Prolog

✍ dations ◷ 2025-05-16 00:58:44 #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：

相关

脊髓小脑性共济失调小脑萎缩症，又称脊髓小脑萎缩症（Spinocerebellar Atrophy）或脊髓小脑失调症（Spinocerebellar Ataxia，简写为SCA），是一类遗传病，涉及不同基因，目前没有任何治疗方法。本病病因不明，但大
家族性高胆固醇血症/IIa型家族性高胆固醇血症（英语：Familial hypercholesterolemia），缩写为FH，是一种遗传性疾病，表现为血液中高胆固醇水平（特别是极高的低密度脂蛋白（LDL）水平）和早期心血管疾病。由于FH的基
芥末芥末酱，也称芥末、芥辣或芥辣酱，芥末酱为一种芥末色稠状物，具有强烈鲜明的味道，由芥菜类蔬菜的籽研磨掺水、醋或酒类调制而成，亦会添加香料或是其它添加剂藉以增香或是增色，如添加
威廉一世威廉一世（古诺曼语: Williame I；英语：William I；法语：Guillaume Ier；1028年:3311月8日－1087年9月9日），通常被称为征服者威廉（英语：William the Conqueror），有时被称为私生子威廉（英语：Willi
非那西汀非那西丁（Phenacetin，或译非那西汀），化学式C10H13NO2，在室温是白色结晶固体，熔点约134℃，是一种在许多国家被禁售的药物。非那西丁在1887年发明，主要作为止痛药使用。通常每日300至
瑞典皇家科学院瑞典皇家科学院（瑞典语：Kungliga Vetenskapsakademien，鲜译“瑞典皇家自然科学学会”）于1739年奉瑞典国王弗雷德里克一世之命，仿效当时的伦敦皇家自然科学促进学会和巴黎皇家科学
甲硫氨酸的再生甲硫氨酸（英语：Methionine，又称蛋氨酸），在所有后生动物中它是一种必需氨基酸。与半胱氨酸一起，甲硫氨酸是两个含硫蛋白原氨基酸之一。对人而言是唯一的含硫必需氨基酸，有L型及D型两
东海岸美国东岸，或称为大西洋海岸，是指美国的最东部的海岸地区，东向面临大西洋，北边为加拿大，南边为墨西哥湾。此区域通常包括以前北美十三殖民地的范围，现在则由北到南包括缅因州、新罕
英国皇家学会伦敦王家自然知识促进学会（英语：Royal Society of London for Improving Natural Knowledge），简称“王家学会”（Royal Society），但多译作“皇家学会”，是英国资助科学发展的组织，成立
埃及法老列表这是一份古埃及统治者的列表。该表中列出的君主始自约前31世纪的第一王朝，结束于希腊人建立的托勒密王朝。这段时期中埃及的最高君主的称号是人们熟知的法老。在使用此表时，请