摘要
本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。
A constructive proving system and the method of combining deduction with knowledge are presented for program synthesis. The synthesis of nondeterministic logic programs is discussed. An example of synthesis of Prolog program 'append' is given to illustrate our method.
出处
《软件学报》
EI
CSCD
北大核心
1990年第1期1-15,共15页
Journal of Software
基金
国家自然科学基金No.6863019和No.6875018
国家高技术智能机资助项目No.863-306-0421-2
