逻辑程序设计与第五代计算机核心语言

以第五代计算机的研究开发为代表的新技术革命浪潮的持续高涨,强烈刺激世界发达国家在科技领域的竞争。第五代计算机建立在革新的理论和技术的基础上,面向智能应用的知识信息处理系统,又称智能计算机,而最能体现革新理论的革命的思想的,就是逻辑程序设计,它已被选作第五代计算机的核心的程序设计语言。本文正是从这样的角度,通过扼要的历史回顾,综述介绍第五代计算机的软件与语言的特点,建立在人工智能成就上的智能数据库与专家系统,以及作为第五代机核心语言的逻辑程序设计和它在思维自动化这一重要领域中迈开的第一步——PROLOG。