Prolog

✍ dations ◷ 2024-12-22 19:54:36 #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：

相关

雕塑古希腊雕刻是古希腊中闻名于世的其中一项艺术，发展时间大约于公元前10世纪至公元前1世纪。古希腊雕刻特点在于富于理想主义、质朴，注重共性、雅致，简而言之便是返璞归真，因此在
安宫牛黄丸安宫牛黄丸属于中医方剂的开窍剂，出自吴鞠通的《温病条辨》，由12味中药组成，主要功用为清热开窍、豁痰解毒，是用以治疗温热病热陷心包，中风昏迷，小儿惊厥的方剂，症状为神昏谵语、烦
先天性先天性障碍，又称先天性疾病、先天畸形、先天缺陷，是指发育中的胎儿因为遗传性疾病或发育环境等因素导致某个部位特征结构畸形，导致在婴儿出生时即有的病症，包括了身体（英语：Physic
Web 2.0Web 2.0（也称为参与式网络或社交网络），指以最终用户为目标，强调用户生成内容、易用性、参与文化和互操作性（如：与其它产品、系统和设备兼容）的网站。Web 2.0这个词由达西·迪纽西在
哺育母乳母乳哺育（Breastfeeding），亦称哺乳、授乳或母乳喂养，指的是女性以乳房喂食婴儿母乳的行为。婴儿有吮吸反射，因此可以吮吸乳房并吞咽母乳，专家建议在出生后一小时即可哺喂母乳，之后
光刻胶光刻胶（英语：photoresist），亦称为光阻或光阻剂，是指通过紫外光、深紫外光、电子束、离子束、X射线等光照或辐射，其溶解度发生变化的耐蚀刻薄膜材料，是光刻工艺中的关键材料，主要应用
甲酸甲酸（英文：Formic acid）又称作蚁酸，化学式为HCOOH。蚂蚁和蜜蜂等膜翅目昆虫的分泌液中含有蚁酸，当初人们蒸馏蚂蚁时制得蚁酸，故有此名。甲酸无色而有刺激气味，且有腐蚀性，人类皮肤接
轻链肌球蛋白轻链（英语：Myosin light chain）是肌球蛋白的一个亚基。肌球蛋白轻链拥有自己的肽链，这点与重链不同。它们不被包括在肌球蛋白家族中，但对形成肌球蛋白酶催化超分子复合体
东林书院坐标：31°34′44″N 120°18′13″E / 31.57889°N 120.30361°E / 31.57889; 120.30361东林书院，又名龟山书院，创立于宋朝，复建于晚明，今位于江苏省无锡市解放东路867号。明代东
朱履中朱履中，字玉堂，浙江海盐人，清朝政治人物。寓居北京，嘉庆元年（1796年）贡生，嘉庆二年（1797年）刊刻《淡巴菰百咏》一书。嘉庆二十年（1815年），任福建和平县县令，改龙溪县县令。嘉庆二十二年因