概念式程序设计语言CONPL  

作　　者：沙英[1] 瞿成祥 

机构地区：[1]南京大学计算机科学系

出　　处：《软件》1994年第2期1-7,共7页Software

摘　　要：CONPL(Conceptual Programming Language)是一个基于Horn子句的概念式程序设计语言,它允许用户使用自己的概念构造程序,因而所写的程序更接近对问题的描述,程序设计过程亦更为自然。本文介绍了CONPL主要设计思想,给出了其语法和语义的形式描述,并讨论了其实现方法。文中还对CONPL的应用前景作了探讨。

关 键 词：程序语言 CONPL语言 概念式程序设计 

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