Visual Prolog确定性管理机制剖析

• 作者: 徐彤 李松 谢波 雷英杰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Prolog 确定性 回溯 截断
• 年，卷（期）: 2005,（22）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 192-193
• 页数: 2页
• 分类号: TP312
• 字数: 2227字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.22.067

摘要

阐明了Visual Prolog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷英杰	空军工程大学导弹学院	214	2322	24.0	35.0
2	李松	空军工程大学导弹学院	50	284	10.0	14.0
3	谢波	空军工程大学导弹学院	11	25	3.0	4.0
4	徐彤	空军工程大学导弹学院	12	74	4.0	8.0