不确定型逻辑程序的综合

本文提出了基于演绎和知识相结合的通过构造性证明综合程序的方法,进而讨论了不确定型逻辑程序的综合和自动综合的有关问题。用append程序的综合展示了这些方法。