Prolog

✍ dations ◷ 2025-07-18 11:26:41 #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：

相关

史蒂芬·古尔德史蒂芬·杰伊·古尔德（英语：Stephen Jay Gould，1941年9月10日－2002年5月20日）是一名美国古生物学家、演化生物学家，科学史学家与科普作家，职业生涯中大多在哈佛大学担任教职，并曾在
室内室内空气质量（IAQ）是指建筑物及建筑物内以及附近的空气质量，这会影响在建筑物内生活人们的健康及舒适。室内空气质量会受气体（特别是一氧化碳、氡、挥发性有机物）、悬浮粒子、微
Hymenolepis diminuta缩小膜壳绦虫（学名：Hymenolepis diminuta）是一种食源性（英语：Foodborne parasites）寄生虫, 属于绦虫纲圆叶目，可引致膜壳绦虫病（hymenolepiasis）。这种线虫以昆虫作中间宿主，最终会感
胆囊切除术后症候群胆囊切除术后症候群（Postcholecystectomy syndrome）是描述在胆囊切除术（英语：cholecystectomy）之后出现的一系列腹部症状。大约5-40%的胆囊切除术患者会出现此类术后症候群，此类症
董奉董奉（200－280，一说220－280）字君异，号拔墘，又号杏林，侯官县董墘村（今福建省福州市长乐区古槐镇青山村）人。东汉末年及三国时代著名医师，与华佗、张仲景并称为“建安三神医”，医术记载较少
意大利菜古罗马 · 中世纪 · 文艺复兴 · 现代威尼斯和威尼托 · 托斯卡尼 · 西西里 · 维琴察 · 罗马 (罗马饮品) · 那不勒斯面包 · 干酪 (PDO) · 油酥糕点 ·
主流新教主流新教（mainline Protestant，或 mainstream Protestant、oldline Protestant），是指美国的一些新教教会。这些教会大多持自由主义神学立场，和福音派、基要派新教教会相对，现有210
石黄雄黄，又称作石黄、黄金石、鸡冠石，是一种含硫和砷的矿石，质软、性脆，通常为粒状、紧密状块，或者粉末，条痕呈浅桔红色。主要成分是四硫化四砷（As4S4，占90%以上）。雄黄主要产于低温热液
阴阳传统宗教仪式：神明秘密社会：阴阳，源于中国传统哲学的一种二元论观念。古代中国文人将既相反又相关的事物特征，例如天地、日月、昼夜、寒暑、牝牡、上下、左右、动静、刚柔、刑德
贾森·基德贾森·弗雷德里克·基德（英语：Jason Frederick Kidd，1973年3月23日－），外号J-Kidd，出生于美国加利福尼亚州的奥克兰，前美国NBA篮球运动员，担任控球后卫；曾任布鲁克林篮网和密尔沃基雄鹿