Prolog

✍ dations ◷ 2024-07-08 13:14:35 #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：

相关

腹主动脉瘤腹主动脉瘤（英语：abdominal aortic aneurysm, AAA），为腹主动脉（英语：Abdominal aorta）局部扩大，其横径大于3公分或超过正常横径之50％。除非腹主动脉瘤破裂，否则通常无症状。偶尔造成腹
新大陆新世界（英语：New World；拉丁语：Mundus Novus。中文也称新大陆），是欧洲人于15世纪末发现美洲大陆及邻近群岛后对这片新土地的称呼。“新世界”（Mundus Novus）一词最初是在亚美利哥·
非非部，为汉字索引中的部首之一，康熙字典214个部首中的第一百七十五个（八划的则为第九个）。就繁体和简体中文中，非部归于八划部首。非部只以上方、下方为部字。且无其他部首可用者
褐铁矿褐铁矿（Limonite）是一种常见的铁矿，常形成于铁矿床的氧化带中，多以次生矿形态存在。也经常因沉积作用生成于河床、海床、沼泽中。不会形成晶体结构，通常为结核状、乳状、土块状出
河平元年屋大维获得首席元老职位。
自治共和国共和国（俄语：Республика），亦即是在俄罗斯联邦下为了实现民族区域自治而成立的地方自治行政单位，延续于原俄罗斯苏维埃联邦社会主义共和国下的自治共和国，根据俄罗斯宪法
Vsub2/subOsub5/sub五氧化二钒，IUPAC名称为氧化钒(V)，是钒(V)的氧化物，化学式为V2O5。它是一种有毒的橙黄色固体，微溶于水，加热时失去氧而分解。可作化学工业中的催化剂，最重要的是对硫酸工业中二氧
裙子裙，俗称裙子，为覆盖腰身以下，筒形或圆锥形的衣服。与裤不同，衬裙并不开叉，双腿不用分别穿套（然而，有人把在胯下分开的马裤套进裙子）。在许多文化中男女都会著裙，但是基于线条搭配审美
狄尔斯-阿尔德反应狄尔斯–阿尔德反应（英语：Diels–Alder reaction）又叫Diels–Alder反应、双烯加成反应，其中狄尔斯又译作第尔斯–阿尔德又译作阿德尔、阿德耳。狄尔斯–阿尔德反应是一种有机反
安德鲁·杜安尼安德鲁·杜安尼（英语：Andrés Duany，1949年9月7日－）是一位美国建筑师、城市规划师，也是新城市主义大会（CNU）的创始人之一。杜安尼生于纽约市，但于1960年前在古巴长大。他曾就读于乔特