您的位置： 专家智库 > >

孙文兵

作品数：1 被引量：1H指数：1
供职机构：国防科学技术大学计算机学院计算机科学与技术系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇逻辑程序

机构

  • 1篇国防科学技术...

作者

  • 1篇孙文兵
  • 1篇刘志宏
  • 1篇刘凤岐
  • 1篇胡守仁

传媒

  • 1篇计算机学报

年份

  • 1篇1995
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
支持逻辑程序并行执行的智能回溯机制被引量：1
1995年
本文提出一种支持ＰＲＯＬＯＧ程序并行执行的智能回溯机制．它是基于数据相关性分析的动静结合的智能回溯策略．在静态编译时通过相关性分析产生各子目标带条件的智能回溯点集合，动态执行时通过对变量的简单测试及对当前运行结果的简单测试来确定当前失败目标的最佳回溯点．
刘志宏孙文兵胡守仁刘凤岐
关键词：逻辑程序
全选 清除 导出
共1页<1>
聚类工具0