Prolog

✍ dations ◷ 2025-10-09 21:53:18 #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：

相关

厚生省厚生省（日文：こうせいしょう，英文：Ministry of Welfare）是已经废止的日本中央省厅，后来演变为厚生劳动省。“厚生”出自中国古代《尚书》“正德利用厚生惟和”。厚生大臣（日文：こう
病态生理学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学病态生理学是一门相对比较新的医学科
单纯词在汉语中，由一个语素构成的词语叫做单纯词。单音节的如天、江、水、田等都是单纯词；多音节的单纯词主要有以下几类：联绵词指两个音节连缀成义而不能拆开的词。其中有双声的（声母
中药学中药学是中药学科的统称。研究中药基本理论和各种药材饮片、中成药的来源、采制、性能、功效、临床应用等知识的学科。为中国基于弘扬本国医学传统理论的立场以中国传统医学
旅行旅行指以步行或交通工具进行的“长距离”位移，亦指为观赏不同景色及了解异与自身文化的差别而到不同城市、地区、国度或到遥远陌生地区参观、游玩、体验的文化概念。与旅游最
相机广义上，照相机是任何可以捕捉和记录影像的设备。最常见的照相机拍摄可见光的影像，但并不是所有照相机都需要可见光（如红外线热像仪），有的甚至不需要一个传统意义上的光源（如扫描隧
多足亚门多足亚门（或称多足类、多足纲，学名Myriapoda，来自古希腊语μυριάς一万和 πούς脚、腿），是节肢动物门下的一类，包含了马陆及蜈蚣等。多足类有超过13000个物种，都是陆地动物
普莱恩斯普莱恩斯（英语：Plains）是位于美国佐治亚州萨姆特县的城市。根据美国人口调查局2000年统计，共有人口637人，是阿梅里克斯小都市统计区域的一部分。美国第三十九任总统吉米·卡特与
民用航空民用航空（简称民航）是指军事、公务（例如警务、海关）用途以外的航空服务，包括私人或商业性质的飞行。又可分为公共航空运输、通用航空。世界上大多数国家都是国际民航组织（ICAO）成员
四烯甲萘醌维他命K2（四烯甲萘醌）为一群相似的化合物，可分为短链四烯甲萘醌（如MK-4）和长链四烯甲萘醌（如MK-7、MK-8、MK-9）。维生素K2未有已知的毒性，因维生素K不会在肝脏中过量残留。维生素K皆