| 一种对PROLOG进行矛盾检测的算法 |
| |
| 引用本文： | 黄明,杨大志,等.一种对PROLOG进行矛盾检测的算法[J].吉林工学院学报,1990,11(3):95-99. |
| |
| 作者姓名： | 黄明 杨大志 |
| |
| 作者单位： | 吉林工学院计算机及电子工程系
(黄明，杨大志)，吉林工学院计算机及电子工程系(李宪章) |
| |
| 基金项目： | 青年科技基金项目“PROLOG语言检测工具”的一个子项 |
| |
| 摘 要： | 本文首先介绍了PROLOG检测工具的研究现状，作者针对PROLOG语言的特点，提出了一种对PROLOG进行矛盾检测的算法，并用Turbo C语言实现了该算法，该算法作为一种PROLOG检测工具已被合并到Rurbo PROLOG系统盘中。
|
| 关 键 词： | 检测工具 PROLOG 软件工程 软件测试 矛盾检测算法 逻辑程序设计语言 |
An Algorithm for Prolog Contradiction Debugging |
| |
| Huang Ming Yang Dazhi Li Xianzhang.An Algorithm for Prolog Contradiction Debugging[J].Journal of Jilin Institute of Technology,1990,11(3):95-99. |
| |
| Authors: | Huang Ming Yang Dazhi Li Xianzhang |
| |
| Institution: | Huang Ming Yang Dazhi Li Xianzhang
Department of Electronics and Computer Engineering |
| |
| Abstract: | In this paper,a study of prolog testing tools is first introduced. Then an algorithm for prolog contradiction debugging is advanced. It is realized with Turbo C language and based upon the feature of prolog. As a prolog testing tool this algorithm is already included in the Turbo Prolog system disk. |
| |
| Keywords: | testing PROLOG algorithm |
| 本文献已被 CNKI 维普 等数据库收录！ |
