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

关键词: Prolog, 确定性, 回溯, 截断

Abstract: This paper presents the goal of determinism monitoring in Visual Prolog,concludes the rule used to program predicates,anddemonstrates a code example for determinism monitoring in detail.

中图分类号: 

• TP18