首页 | 本学科首页   官方微博 | 高级检索  
     检索      

Visual Prolog的回溯机制分析
引用本文:雷英杰,王涛,赵晔,王建勋.Visual Prolog的回溯机制分析[J].空军工程大学学报,2004,5(5):81-85.
作者姓名:雷英杰  王涛  赵晔  王建勋
作者单位:空军工程大学导弹学院,空军工程大学导弹学院,空军工程大学导弹学院,空军工程大学导弹学院 陕西西安 713800,陕西西安 713800,陕西西安 713800,陕西西安 713800
基金项目:国家教育部高等学校骨干教师资助计划项目(GG-810-90039-1003)
摘    要:回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察Visual Prolog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则,给出了回溯机制的循环实现方法,深入分析了回溯过程可能发生的各种情况,从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用,需要利用截断机制、失败谓词等对搜索过程进行仔细控制。

关 键 词:Visual  Prolog  逻辑程序设计  编程语言  AI  专家系统
文章编号:1009-3516(2004)05-0080-05
修稿时间:2004年5月10日

Analysis of the Backtracking Mechanism in Visual Prolog
LEI Ying-jie,WANG Tao,ZHAO Ye,WANG Jian-xun.Analysis of the Backtracking Mechanism in Visual Prolog[J].Journal of Air Force Engineering University(Natural Science Edition),2004,5(5):81-85.
Authors:LEI Ying-jie  WANG Tao  ZHAO Ye  WANG Jian-xun
Institution:The Missile Institute, Air Force Engineering University, Sanyuan, Shaanxi 713800, China
Abstract:The backtracking mechanism is an important facility for logic programming. The backtracking itself is a good approach to obtaining all the possible solutions to a goal. On the basis of observing and studying the operating elements of backtracking mechanism in Visual Prolog with a group of instances, the four fundamental principles, i.e. those of bottom - up, right - left sequencing, rule matching and fact matching, are expatiated in detail. A backtracking approach implemented by means of repetition is explored. All kinds of possible cases in the course of backtracking are deeply analyzed and investigated, thus the essential characteristics and the applied fundamentals of the backtracking mechanism are revealed. Finally, the conclusion indicates that the backtracking mechanism has side - effects, and it is necessary to control carefully the searching courses by using a cut mechanism, a fail predicate and otherwise.
Keywords:Visual Prolog  logic programming  programming language  AI  expert system
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《空军工程大学学报》浏览原始摘要信息
点击此处可从《空军工程大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号