摘要： 木文给出逻辑程序综合的一种方法,按规范说明则p(X)Formula(X)中一阶公式Formula(X)的结构,反复运用变换规则,得到一个正确定义谓词p(X)Prolog程序。对于递归说明,也给出了相应的方法。
Abstract: A method of logic program synthesis. is presented. Starting from a specification in the form of p(X)-Formula (X), the transformational process can produce a Prolog program by induction on the construction of the first order formula Formula(X). The gained program computes the same relation as the Formula(X) defines. The case of recursive specification is also discussed.
朱关铭,甘小平. 逻辑程序综合的一种方法[J]. , 1986, 12(06): 3-.
Zhu Guanming Gan Xiaoping. A METHOD OF LOGIC PROGRAM SYNTHESIS[J]. , 1986, 12(06): 3-.