逻辑关系模拟程序 Prolog

逻辑关系模拟程序 Prolog 逻辑关系模拟程序 Prolog 是一种基于推理的编程语言，能够模拟人类的思维和推理规则。在编程环境中调试运行简单的逻辑关系推理程序，通过 SWI-Prolog 或 Visual Prolog 编程工具来熟悉 Prolog 语言的推理。 Prolog 语言是当代最有影响的人工智能语言之一，广泛应用于自然语言理解、机器定理证明、专家系统等方面。Prolog 语言的基本语句仅有三种，即事实、规则和目标三种类型的语句，且都用谓词表示，因而程序逻辑性强，文法简捷，清晰易懂。 在 Prolog 程序中，事实用来说明一个问题中已知的对象和它们之间的关系。例如，谓词 likes(bill，book) 是一个名为 like 的关系，表示对象 bill 和 book 之间有喜欢的关系。 规则由几个互相有依赖性的简单句（谓词）组成，用来描述事实之间的依赖关系。例如，规则 bird(X):-animal(X),has(X,feather) 表示凡是动物并且有羽毛，那么它就是鸟。 目标（问题）是向 Prolog 询问有关问题的答案，询问的问题就是程序运行的目标。目标的结构与事实或规则相同，可以是一个简单的谓词，也可以是多个谓词的组合。例如问题 ?-student(john) 表示“john 是学生吗？” 在 Prolog 程序中，可以通过输入事实和规则来模拟逻辑关系。例如，输入以下事实和规则： predicates /*谓词段，对要用的谓词名和参数进行说明*/ likes(symbol, symbol) friend(symbol, symbol) clauses /*子句段，存放所有的事实和规则*/ likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,sports),likes(X,music). 当上述事实与规则输入计算机后，运行该程序，用户就可以进行询问，如输入目标：friend(john,X) 即询问 john 的朋友是谁，这时计算机的运行结果为：X=mary（mary 是 john 的朋友）。 通过 Prolog 语言，可以模拟各种逻辑关系，例如朋友关系、亲属关系、物品所有关系等，并可以通过规则来描述这些关系。因此，Prolog 语言是人工智能应用领域的强有力的开发语言。 在逻辑关系模拟程序 Prolog 中，用户可以通过输入事实和规则来模拟逻辑关系，并可以通过目标来询问问题，获取答案。这使得 Prolog 语言成为人工智能应用领域的强有力的开发语言。