| 摘要: |
| 本文论述从逻辑程序本身提取启发式控制信息,以克服由于逻辑语言系统中控制策略的机械性所带来的不完备性和低效性。具体地给出若干启发式控制规则,并证明了这些规则的正确性。运用这些控制规则可以大大地提高系统的运行效率或改善逻辑程序的语义性质。文章最后给出启发式WAM(记作HWAM),并且用实例说明HWAM比WAM更有效,更完善。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| HEURISTIC CONTROL IN LOGIC PROGRAMMING |
|
Hu Yunfa,Hu Ziang,Gao Hongkui,Lu Zhaochuan
|
| Abstract: |
| This paper discusses how heuristic control information from logic program are get to improve the imcompleteness and inefficiency resulting from the control strategy in PROLOG language system. Several heuristic rules and the proving of their correctness are given. With the use of these rules, the efficiency of logic programming system and the semantics of logic programming language can be improved. At the end of this paper, a heuristic WAM(HWAM) is given, and several examples are listed to explain that HWAM is more efficient and more complete the WAM. |
| Key words: |
