您的位置： 专家智库 > >

浦恩沸

作品数：2 被引量：2H指数：1
供职机构：西北师范大学数学与信息科学学院计算机科学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇PROLOG
  • 2篇PROLOG...
  • 1篇动态数据
  • 1篇动态数据库
  • 1篇数据库
  • 1篇关系数据库

机构

  • 2篇西北师范大学

作者

  • 2篇浦恩沸
  • 2篇陶文祥
  • 2篇周中一
  • 2篇曾湘燕

传媒

  • 2篇微电子学与计...

年份

  • 1篇1993
  • 1篇1991
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
Prolog正向推理机被引量：2
1991年
本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.
陶文祥曾湘燕周中一浦恩沸
关键词：PROLOG语言关系数据库动态数据库
全文增补中
Prolog正向推理机中否定谓词的处理
1993年
根据X能否和某一规则的规则头相匹配,将not(X)分为两类并分别进行处理:一类是X不能和任意一条规则的规则头相匹配,此时如果现有事实不能证明X为真,则将not(X)做为一项事实处理;另一类是X能和某一规则的规则头相匹配,此时X的真假不能确定.为了处理这类情况,我们提出了假事实推理法,从而有效地处理了Prolog正向推理机中的否定谓词.
陶文祥曾湘燕周中一浦恩沸
关键词：PROLOG语言
全选 清除 导出
共1页<1>
聚类工具0