Prolog

✍ dations ◷ 2025-06-28 03:23:06 #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：

相关

黑根霉Ascophora mucedo Mucor ascophorus Mucor mucedo Mucor stolonifer Rhizopus nigricans Rhizopus stolonifer var. stolonifer黑根霉（Rhizopus stolonifer或Rhizopus n
锈菌秆锈病，又称柄锈病、麦锈病、黑锈病，是由真菌锈菌（学名：Puccinia graminis）所引发的疾病，以谷类作物为感染大宗。小麦的秆锈传染病则是由名为“Ug99”的变种秆锈菌所引起，这种秆锈
根肿黑粉菌门根肿黑粉菌属 Entorrhiza Talbotiomyces根肿黑粉菌纲（学名：Entorrhizomycetes）是担子菌门黑粉菌亚门下的一个纲。该纲仅含一个目（根肿黑粉菌目，Entorrhizales），该目下也仅含一个科（
系统综述系统综述（英语：systematic review）是文献探讨（英语：Literature review）一种，为研究有关一特定主题所有高质素的报告，并将之识别，评论并集合。有关随机对照试验（RCT）的系统综述为循证医
皇帝罗马皇帝是罗马帝国时期的最高头衔，是身兼国家元首和政府首脑的最高领导人。在欧洲历史中，皇帝（拉丁语：Imperator；英语：emperor）源自于古罗马时期，音译为“英白拉多”，原意是统帅，源自
匸匸部，就汉字索引来说，是为部首之一，康熙字典214个部首中的第二十三个（两划的则为第十七个）。就繁体中文中，匸部归于两划部首。匸部通常是从上左下包围部分为部字，且无其他部首可用
HSVHSV可以指：
Lisub2/subO氧化锂（Li2O）是一种无机化合物，可透过锂在空气或氧气中燃烧而得，过程中会伴随生成少量的过氧化锂。高纯度的Li2O可由过氧化锂(Li2O2)在450°C的热分解中制得。一般来说，氧化锂是
不当换质换位换质换位律（contraposition, transposition），又称异质位换律、换质位法，是古典逻辑的一种结构变换推理，一般用于改变条件命题的结构。在直言命题中，换质换位律只能用于全称肯定型（A
达卡达卡（孟加拉语：ঢাকা），是孟加拉国首都，达卡专区首府。达卡坐落于恒河三角洲布里甘加河北岸，是孟加拉国最大的城市，也是南亚主要城市之一，其都会区有1200多万人口。达卡有着丰富的