PROLOG语言及其实现

作     者：沈祖梁 丁利亚 Shen Zuliang, Ding Liya(Shanghai University of Technology)

作者机构：上海工业大学 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：1985年第6期

页      面：40-45页

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：语言系统 核心算法 知识库 专家系统 PROLOG 智能计算机 电子数字计算机 第五代计算机 实词 谓词 

摘      要：PROLOG语言是一种逻辑式程序设计语言,其名字就来源于PROgram和LOGic。PROLOG语言改变了人们所熟悉的程序设计语言中一些基本概念,引入了新的思想。PROLOG的程序并不说明运算的过程,它所描述的是事物间的逻辑关系,因而也被归类为非过程式程序设计语言。 本文将通过以下三个部分,介绍笔者于一九八四年实现并通过技术鉴定的一个PROLOG语言系统。它是一个可以在IBM-PC、IBM-PC/XT、IBM-PC/AT和IBM-PC兼容机,以及WANG-PC机上运行的 PROLOG语言系统。***语言的程序结构;***语言系统的核心算法;***语言系统的实现。