论文部分内容阅读
逻辑程序语言又叫说明语言，这是因为用它编写的程序中，说明语句多于赋值语句或流程控制语句。逻辑程序语言的一个最基本的特征是它的语义。研究逻辑程序语言的语义称为说明语义学。具体说就是寻找一种简单的方法来确定每一语句的意义，而该方法与语句将解决的问题无关。第一个逻辑程序语言PROLOG是在70年代初由法国马赛大学的周amC0hnerauer和PhillippeR＿l开发成功的，它的设计技巧由伦敦大学的RobertKOWISki提出。在一般的程序设计系统中，程序告诉计算机的是如何一步一步地去解决问题。而在逻辑程序