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

Abstract: Prolog is a computer programming language used for solving problems that involve objects and the relationships between objects. Prolog system is a "logic programming" system, Its name "PROLOG" stands for PROgramming in LOGic. Programming in Prolog does not tell one "how to do", but tells "what to do" We have written a Prolog system for IBM-PC & Wang PC's microcomputers, of which three parts are introduced below: 1. The program stractures of Prolog language, 2. The key algorithms of Prolog system, 3. The realization of Prolog system.