Visual Prolog的回溯机制分析

• 作者: 王建勋 王涛 赵晔 雷英杰
• 来源期刊: 空军工程大学学报(自然科学版)
• 学科: 工学
• 关键词: Visual Prolog 逻辑程序设计 编程语言 AI 专家系统
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 基础理论研究
• 页码范围: 80-84
• 页数: 5页
• 分类号: TP182
• 字数: 3565字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3516.2004.05.023

摘要

回溯机制是逻辑程序设计的重要设施.回溯本身是一种获得目标所有可能解的良好方法.在考察Visual Prolog回溯机制作用原理的基础上,通过若干实例,详细阐述了回溯机制所遵循的4个基本原则,即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则,给出了回溯机制的循环实现方法,深入分析了回溯过程可能发生的各种情况,从而揭示出回溯机制的本质特性和应用机理.结论指出回溯机制具有副作用,需要利用截断机制、失败谓词等对搜索过程进行仔细控制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷英杰	空军工程大学导弹学院	214	2322	24.0	35.0
2	王涛	空军工程大学导弹学院	14	200	7.0	14.0
3	赵晔	空军工程大学导弹学院	11	119	5.0	10.0
4	王建勋	空军工程大学导弹学院	7	101	5.0	7.0