Prolog

✍ dations ◷ 2025-06-07 17:54: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：

相关

婴儿按摩婴儿按摩（英语：Infant massage），是一种对婴儿进行按摩治疗（英语：massage therapy）的替代疗法。这种疗法已经在全球范围内实施，并且在西方国家越来越多地用于婴儿，支持其使用的科学证
摩西摩西(基督教译文)（希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova"
采样在信号处理领域，采样是将信号从连续时间域上的模拟信号转换到离散时间域上的离散信号的过程，以采样器实现。通常采样与量化联合进行，模拟信号先由采样器按照一定时间间隔采样获
Dracunculus medinensisGordius medinensis Linnaeus, 1758麦地那龙线虫（学名：Dracunculus medinensis），又称几内亚龙线虫，是一种可寄生于人体内的寄生虫，属于线虫的龙线虫属（英语：Dracunculus_(nematode)），
外骨骼外骨骼是节肢动物外壳的俗称，因为坚硬有如骨骼，因此得名。如螃蟹的壳、昆虫的角质层等。亦有人把乌龟的壳视为一种外骨骼。节肢动物的体表覆盖着坚硬的体壁。体壁由三部分组成
穿靴子的猫《穿长靴的猫》（意大利语：Il gatto con gli stivali; 法语：Le Maître Chat, ou Le Chat Botté）是欧洲童话，夏尔·佩罗在1697年以《精明的猫》（Le Maître chat）的标题收录到他的
卡茨伯纳德·卡茨爵士，FRS（Sir Bernard Katz，1911年3月26日－2003年4月20日，德国出生的生物物理学家，后加入英国国籍，他以研究神经生物化学而著名。他与乌尔夫·冯·奥伊勒、朱利叶斯·
乌得勒支同盟乌得勒支同盟（荷兰语：Unie van Utrecht）是在西班牙哈布斯堡王朝统治下的荷兰北方诸行省于1579年1月23日在乌得勒支的牧师会大礼堂缔结的同盟条约。乌得勒支同盟被看作是荷兰共
野依良治野依良治（日语：野依良治／のよりりょうじ Noyori Ryōji ?，1938年9月3日－），日本化学家，专长有机化学。曾任理化学研究所所长，现任名古屋大学特别教授等职。文化勋章表彰。文化功劳
雅虎台湾雅虎台湾（Yahoo!Taiwan），为雅虎在台湾分公司的入口搜寻网站，于1999年1月成立，2001年与奇摩站合并。