| 摘要: |
| 本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金No.6863019和No.6875018;; 国家高技术智能机资助项目No.863-306-0421-2 |
|
| SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMS |
|
WangLiguo
|
| Abstract: |
| 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. |
| Key words: |
