首页> 中文期刊> 《计算机学报》 >支持逻辑程序并行执行的智能回溯机制

支持逻辑程序并行执行的智能回溯机制

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文提出一种支持PROLOG程序并行执行的智能回溯机制.它是基于数据相关性分析的动静结合的智能回溯策略.在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合,动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点.

著录项

来源
《计算机学报》 |1995年第4期|304-308|共5页
作者
刘志宏; 孙文兵; 胡守仁; 刘凤岐;
展开▼
作者单位

国防科学技术大学计算机科学系;

长沙;

410073;

国防科学技术大学计算机科学系;

长沙;

410073;

国防科学技术大学计算机科学系;

长沙;

410073;

国防科学技术大学计算机科学系;

长沙;

410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
逻辑程序; 并行执行; 智能回溯;

相似文献

中文文献
外文文献
专利

1. 一个支持非独立“与”并行的逻辑程序“与”并行执行模型 [J] . 郑宇华 ,戴非 ,谢立 . 计算机研究与发展 . 1993,第011期
2. 一种支持逻辑程序AND和OR并行执行的存贮管理方法 [J] . 高耀清 ,王东 . 小型微型计算机系统 . 1989,第009期
3. 一种具有回溯机制的智能代理协商模型 [J] . 邵国彬 ,许俊华 ,宋靖雁 . 计算机工程与应用 . 2006,第018期
4. 教育人工智能支持人类学习机制的两种效应 [J] . 刘欣 ,李怀龙 . 中国教育信息化 . 2020,第017期
5. 教育人工智能支持人类学习机制的两种效应 [J] . 刘欣 ,李怀龙 . 中国教育信息化·高教职教 . 2020,第009期
6. 建立一个支持逻辑程序设计的面向对象系统 [C] . 朱海滨 . 第三届全国青年计算机学术会议 . 1991
7. 逻辑程序的语义和强等价逻辑程序研究 [A] . 陈寅 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号