| 基于二阶项重写技术的逻辑自动编程理论 |
| |
| 引用本文： | 孙怀民,梁群.基于二阶项重写技术的逻辑自动编程理论[J].计算机学报,1993,16(3):161-170. |
| |
| 作者姓名： | 孙怀民 梁群 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系，中国科学院软件研究所 北京 100083，北京 100080 |
| |
| 基金项目： | 国家863高技术基金，国家自然科学基金 |
| |
| 摘 要： | 程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.
|
| 关 键 词： | 二阶项 重写技术 自动程序设计 |
A THEORY OF AUTOMATIC LOGIC PROGRAMMING BASED ON SECOND ORDER TERM REWRITING TECHNIQUE |
| |
| Sun HuaiminDept. of Computer Science and Engineering,Beijing University of Aeronautics and Astronautics,Beijing Liang QunInstitute of Software,Academia Sinica,Beijing.A THEORY OF AUTOMATIC LOGIC PROGRAMMING BASED ON SECOND ORDER TERM REWRITING TECHNIQUE[J].Chinese Journal of Computers,1993,16(3):161-170. |
| |
| Authors: | Sun HuaiminDept of Computer Science and Engineering Beijing University of Aeronautics and Astronautics Beijing Liang QunInstitute of Software Academia Sinica Beijing |
| |
| Affiliation: | Sun HuaiminDept. of Computer Science and Engineering,Beijing University of Aeronautics and Astronautics,Beijing 100083Liang QunInstitute of Software,Academia Sinica,Beijing 100080 |
| |
| Abstract: | This paper presents a mechanism based on a partial second order logic, called hypothesis calculas. This mechanism is implemented within an auto-programming system ALP. ALP can automatically discover input-output examples of the desired sub-program and synthesize these sub-programs. |
| |
| Keywords: | Second order clause second order SLD-resolution Boolean equations BN-unification PN-unification |
| 本文献已被 CNKI 维普 等数据库收录！ |
