Prolog是一种以逻辑为基础的计算机编程语言。大多数计算机语言都是基于解决问题所需的步骤。另一方面,Prolog语言,是一种“声明性”语言,表示实体之间的逻辑关系。解决问题的方法由计算机来解决。Prolog这个名字来自法语...
Prolog是一种以逻辑为基础的计算机编程语言。大多数计算机语言都是基于解决问题所需的步骤。另一方面,Prolog语言,是一种“声明性”语言,表示实体之间的逻辑关系。解决问题的方法由计算机来解决。Prolog这个名字来自法语PROgrammation en LOGique,也就是编程逻辑。女人和计算机做倒立动作下面是一个简单的Prolog程序:祖先(F,C):—父亲(F,C)祖先(P,Q):-父亲(P,R),祖先(R,Q)父亲(约翰,吉姆)。父亲(吉姆,杰瑞)。父亲(杰里,杰森)。父亲(杰里,杰夫)。父亲(杰森,杰夫)。父亲(杰森,约书亚)。上面的程序指出真理。如果F是C的父亲,那么F是C的祖先。如果P是某个人的父亲,他是Q的祖先,那么P就是Q的祖先然后给出一些真实的事实,比如约翰是吉姆的父亲,如果有一个关于约翰是否是杰夫的祖先的问题,我们得到的回答是“是”如下:?-祖先(约翰,杰夫)。是的,如果约书亚的祖先感兴趣,那么程序显示所有祖先如下:?-祖先(A,joshua)A=jasonA=jerryA=jimA=john注意到,在上述两个实例中,程序都没有说明如何进行评估。例如,它没有指出是从老年人开始,然后逐步向年轻人发展,反之亦然。还可以互换以下部分:祖先(P,Q):-ana祖(R,Q),父(P,R)这对程序没有任何影响,因为右侧的这两个部分都需要为真才能使左侧为真。因此,Prolog语言关注的是关系,而不是如何解决问题。在程序执行过程中,Prolog建立了许多真语句,从而创建了一个知识库在上面的例子中,知识库没有特定的顺序,将有祖先(john,jim),祖先(jim,jerry),祖先(john,jerry),祖先(jim,jason),祖先(john,jason)等等。随着程序的执行,这个知识库可以继续建立,它可以使用并行处理,多台计算机同时执行。Prolog语言在许多领域都有应用,它开始于英语等自然语言系统;自然语言是人工智能的一个领域,Prolog语言也用于符号数学,包括代数,它被用于证明定理,专家系统,控制系统,以及许多其他应用
-
发表于 2020-08-06 14:47
- 阅读 ( 1803 )
- 分类:电脑网络