Prolog

✍ dations ◷ 2025-04-24 21:31:21 #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：

相关

霍奇金氏病霍奇金氏淋巴瘤（英语：Hodgkin's lymphoma）又称霍奇金氏病、何杰金氏病，或何杰金氏淋巴瘤，为淋巴瘤的一型，是一种淋巴细胞的癌变，症状包含发烧、夜间盗汗（英语：Night sweats），以及体重减
斯塔提乌斯斯塔提乌斯（英语：Statius），（45年－96年）。古罗马著名的诗人之一，出生于那不勒斯，其父即凭借诗歌而闻名于世。他曾创作了大量反映古希腊神话的相关史诗作品而在古罗马闻名遐迩，他的作品
草酸盐草酸盐是草酸形成的盐类，含有草酸根离子（C2O42−或(COO)22−）。由于草酸是二元酸，因此草酸盐分为正盐草酸盐与酸式盐草酸氢盐两类，后者含有HC2O4−。草酸根离子（见右图）可作配体，与
干冰干冰是二氧化碳的固体形式。在正常气压下，二氧化碳的凝固点是摄氏负78.5度，在保持物体维持冷冻或低温状态下非常有用。其无色、无味、不易燃、略带酸性。干冰的密度各不相同，但
吸食大麻吸食大麻是指将大麻花磨碎卷成大麻烟或使用Pipe、Bong点燃吸食，也可使用雾化器雾化吸食。此外，还有口服的方法来摄取大麻，例如大麻食品。多数国家吸大麻属于吸毒，是违法的，所以产
拉基亚拉基亚（保加利亚语：ракия、马其顿语：ракија、塞尔维亚语：ракија、波斯尼亚语：rakija、克罗地亚语：rakija、阿尔巴尼亚语：Rakia、罗马尼亚语：rachiu）是一种由经过发
塞浦路斯问题塞浦路斯问题(希腊语：Κυπριακό (ζήτημα) , 土耳其语：Kıbrıs Sorunu）是位在地中海东部的塞浦路斯岛上，因为塞浦路斯岛上的希腊人及土耳其人族裔问题及是否南、北
国立巴黎歌剧团国立巴黎歌剧团（法语：Opéra national de Paris）是法国具代表性的歌剧、芭蕾舞演出团体之一。主要演出场地是巴黎歌剧院和巴士底歌剧院。国立巴黎歌舞团成立于1669年，是世界上最
激光焊接激光焊是一种以聚焦的激光束作为能源轰击焊件所产生的热量进行焊接的方法。由于激光具有折射、聚焦等光学性质，使得激光焊非常适合于微型零件和可达性很差的部位的焊接。激光
千岛群岛千岛群岛（日语：千島列島／ちしまれっとう Chishima rettō */?），俄罗斯称其为库里尔群岛（俄语：Кури́льские острова́，罗马化：Kuril'skie ostrova；日语：クリル列島