Visual Prolog确定性管理机制剖析  

Analysis of Determinism Monitoring in Visual Prolog

作　　者：徐彤[1] 雷英杰[1] 谢波[1] 李松[1] 

机构地区：[1]空军工程大学导弹学院,三原713800

出　　处：《计算机工程》2005年第22期192-193,共2页Computer Engineering

基　　金：军队重点科研基金资助项目

摘　　要：阐明了VisualProlog中确定性管理机制的目的和方法,归纳了编写确定性和非确定性谓词的基本原则,通过对代码示例中回溯和截断机制的详细分析,给出了结论。This paper presents the goal of determinism monitoring in Visual Prolog, concludes the rule used to program predicates, and demonstrates a code example for determinism monitoring in detail.

关 键 词：PROLOG 确定性 回溯 截断 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]