PROLOG语言简介  

作　　者：李景贵 

机构地区：[1]吉林省计算机技术研究所

出　　处：《计算机应用研究》1990年第5期27-29,共3页Application Research of Computers

摘　　要：七十年代初,R.Kowalski和P.Hayes提出了一整套逻辑程序设计思想,这种思想的核心是在一阶逻辑的基础上,用句型对问题进行描述,从而达到对问题进行证明或求解的目的。

关 键 词：PROLOG语言 逻辑程序设计 

分 类 号：TP312TR[自动化与计算机技术—计算机软件与理论]