prolog的含义与解释 电脑网络网络字典

来源：互联网   发布日期：2011-08-20 14:00:42   浏览：7194次  

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标准

目前比较流行的实现工具包括 swi-prolog, yap 等

←←←上一条 下一条→→→

高清风景大图 百分百好站

赞助本站