微信服务号

微信订阅号

2025-5-17- 21
Home > Archive>Volume 1, Issue 1, 1990 >1-15
PDF HTML XML Export Cite reminder
SYNTHESIS OF NONDETERMINISTIC LOGIC PROGRAMS
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [4]
    • |
  • Related
    • | | |
  • Comments
    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.

    Reference
    [1] 王立国．基于规范演绎的结构式程序综合,计算机学报,1988年第6期．
    [2] 王立国, 自动程序设计,计算机世界．总第152期，1987,3．8．
    [3] Wang Li—Guo, Heuristic Backward and Forward Inference in Program Synthesis．7th International Workshop, Expert Systems and Their Application，Aviglxon．France．May 1987．
    [4] Sun Huai-Min and Wang Li-Guo,A Model Theory ofLogic Programming Methodology．Proceedings of the Second International Logic Programming Conference．Uppsala．Sweden,July 1984．
    Related
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

王立国.不确定型逻辑程序的综合.软件学报,1990,1(1):1-15

Copy
Share
Article Metrics
  • Abstract:4059
  • PDF: 6114
  • HTML: 0
  • Cited by: 0
History
  • Received:May 01,1988
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2045272Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063