| PROLOG逻辑程序正确性证明 |
| |
| 引用本文： | 方林,程景云.PROLOG逻辑程序正确性证明[J].上海海事大学学报,1995(1). |
| |
| 作者姓名： | 方林 程景云 |
| |
| 作者单位： | 上海海运学院计算机系ＣＡＤ研究室 |
| |
| 摘 要： | ＰＲＯＬＯＧ是一种逻辑程序设计语言，本文以这种语言为例，提出了谓词依赖性、等价式、谓词规范等概念，并且在此基础上对ＰＲＯＬＯＧ谓词加以分类。最后基于一阶谓词逻辑，提出了ＰＲＯＬＯＧ程序正确性的一种证明方法
|
| 关 键 词： | 程序设计，程序逻辑，程序语言，逻辑语言，PROLOG语言，程序正确性证明 |
A Method to verify Prolog Programs |
| |
| Fang Lin,Cheng Jingyun.A Method to verify Prolog Programs[J].Journal of Shanghai Maritime University,1995(1). |
| |
| Authors: | Fang Lin Cheng Jingyun |
| |
| Institution: | Fang Lin;Cheng Jingyun |
| |
| Abstract: | Prolog is a kind of logical programming languages.This paper takes it as an example and presents the concepts of Predicate Dependency,Equivalent Formula and Predicate Regulation. On this basis the prolog predicates are grouped and a correct method to verify prolog programs is presented in this paper. |
| |
| Keywords: | Programming Program logic Programming language logical language PROLOG language verifying program |
| 本文献已被 CNKI 等数据库收录！ |
