1、
其中包括Pro图的概念和Pro图的状态序列及递归程序的终止问题。
互联网摘选
2、
3、
在程序综合方面，利用了结构归纳法原理，从而建立了一种自动综合程序的图式；
互联网摘选
4、
提出了ORACLE关系数据库系统中用pro c实现的产品结构信息的递归生成算法。
互联网摘选
5、
You must specify the RECURSIVE clause only on the outermost program of a compilation unit.
您必须只对编译单元的最外层程序指定RECURSIVE子句。
互联网摘选
6、
7、
