浅谈Turbo-PROLOG“表-回溯结构法则”的效率

被引:0
|
作者
杨建华 [1 ]
机构
[1] 北京农业工程大学电子系 100083
关键词
结构法则; 谓词; 程序; 实词; Turbo-PROLOG; 动态数据库;
D O I
暂无
中图分类号
学科分类号
摘要
1991年第10期刊载的“提高Turbo-PROLOG设计效率的几种方法”一文(以下简称《提》文)中,作者提出了“表一回溯结构法则”(即:将表元素的处理尽可能由递归的方法转化为动态数据库的回溯),并给出了分割表元素的两个对比程序。在第二个程序中,第五子句截断元素“!”的设置使得表中其它重复元素在动态数据库中的事实部被删除,不能达到预期的效果;程序最后一个子句中的谓词retractall不是标准谓词,需增加有关此谓词的子句。修改后的程序见所附程序一。《提》文中指出用“表-回溯结构法则”在用动态数
引用
收藏
页码:39 / 39
页数:1
相关论文
empty
未找到相关数据