Visual Prolog确定性管理机制剖析

摘要：

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

关键词：Prolog、确定性、回溯、截断

所属期刊栏目：31

分类号：TP312(计算技术、计算机技术)

资助基金：军队科技攻关项目

在线出版日期：2006-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：192-193