论文部分内容阅读
SPL-Insight是英国一家专门从事高级信息技术研究的跨国公司。它把1984年度的大奖颁发给了R.B.Kowalski教授,以表彰他在第五代计算方面的杰出成就。1984年5月15日,Kowalski在伦敦的授奖大会上发表了演讲。1984年6月,North-Holland创刊了FGCS(未来一代计算机系统)杂志,征得Kowalski教授与SPL-Insight公司的许可,刊出了讲演稿。本文就是根据发表的这篇讲演稿译出的。本文着重讲了在新一式计算中,人工智能,软件工程和数据库各自占有的地位以及相互之间的关系。作者认为:逻辑程序设计技术是三者的桥梁,是趋于统一的基础。
SPL-Insight is a British multinational specializing in advanced information technology research. It presented the 1984 Grand Prize to Professor R.B.Kowalski in recognition of his outstanding achievements in the fifth generation of computing. On May 15, 1984, Kowalski delivered a speech at the award ceremony in London. In June 1984, North-Holland launched the magazine FGCS (Next Generation Computer Systems) with the permission of Professor Kowalski and SPL-Insight to publish the speech. This article is based on the publication of this speech translated. This article focuses on the new type of calculation, artificial intelligence, software engineering and database of their respective positions and the relationship between. The author believes that: logic programming technology is the bridge between the three is to tend to unity.