Prolog

✍ dations ◷ 2025-11-02 17:27:52 #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：

相关

恋尸癖恋尸，是个人对尸体表现爱恋或性吸引的现象。美国精神医学学会在《精神疾病诊断与统计手册》中把恋尸列为“性欲倒错”。但是恋尸行为的含意显然颇为多样。研究者在访谈恋尸者
Re4f14 5d5 6s22, 8, 18, 32, 13, 2蒸气压第一：760 kJ·mol−1 第二：1260 kJ·mol−1 第三：2510 kJ·mol−1 （主条目：铼的同位素铼是一种化学元素，元素符号为Re，原子序为75。铼是
表皮蜡质表皮蜡质是覆盖在植物角质层上的一种主要由直链脂肪烃和各种取代基构成的物质，可以防止植物表皮被弄湿及水分丧失。常见的表皮蜡质有豌豆和卷心菜叶中的石蜡烃，巴西棕榈叶和香
乔托乔托·迪·邦多纳（Giotto di Bondone，约1267年－1337年1月8日），意大利画家与建筑师，被认为是意大利文艺复兴时期的开创者，被誉为“欧洲绘画之父”、"西方绘画之父"。在英文称呼就如
凝固凝固是指在温度降低时，物质由液态变为固态的过程，物质凝固时的温度称为凝固点。目前已知的液体几乎都可以在低温时凝固成为固体，氦是唯一的例外，常压下在绝对零度时仍为液体（液态
奥陶纪-志留纪灭绝事件奥陶纪-志留纪灭绝事件（英语：Ordovician–Silurian extinction event），也称奥陶纪大灭绝（英语：Ordovician extinction），在地球历史上五次大规模灭绝事件中名列第二，发生在4.45亿年前，
帚虫动物帚虫动物门（学名：Phoronida）是动物界的一个小门，当中的动物为滤食性，以由几丁质组成的小管支撑。目前仅存2个属，10几个种，全部都是海洋底栖动物，能在南冰洋外的各大洋中约四百米深的
扁盘动物黏丝盘虫（Trichoplax adhaerens）是1883年由德国生物学家Franz Eilhard Schulze (1840-1921)在奥地利Graz大学的水族馆发现的。目前在扁盘动物门中仅确认此一种，一般称丝盘虫即
电能电能（Electrical energy），是指电以各种形式做功（即产生能量）的能力。电能被广泛应用在动力、照明、冶金、化学、纺织、通信、广播等各个领域，是科学技术发展、国民经济飞跃的主要
乙烯/醋酸乙烯酯共聚物乙烯／醋酸乙烯酯共聚物（又称乙烯／乙酸乙烯酯共聚物），是由乙烯（E）和乙酸乙烯酯（VA）共聚而制成，英文名称为：Ethylene Vinyl Acetate，简称为EVA，或E/VAC。乙烯／醋酸乙烯酯共聚物的特点是具有