搜索筛选:
搜索耗时0.0822秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：陶文祥,曾湘燕,周中一,浦恩沸,
来源：微电子学与计算机 年份：1993
根据，能否和某一规则的规则头相匹配．将not(X）分为两类并分剐进行处理：—类是X不能和任意一条规则的规则头相匹配，X为真，则将not(X）做为一项事实处理；另—类是X能和某—规则的规则头......
[期刊论文] 作者：陶文祥,曾湘燕,周中一,浦恩沸,
来源：微电子学与计算机 年份：1991
本文介绍作者设计的一种Prolog 正向推理机,文中着重讨论其推理策略及其具体实现中的几个重要谓词,量后指出该推理机的优缺点和今后的研究方向.This article introduces a...
相关搜索：
