期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

年份

共找到2篇文章
< 1 >
每页显示 20 50 100
SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机
1
作者 沈宁川 《计算机研究与发展》 EI CSCD 北大核心 1993年第4期5-9,共5页
本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上... 本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。 展开更多
关键词 抽象图归约机 程序语言 s-prolog
下载PDF
基于本体与Prolog的平面几何定理证明 被引量:4
2
作者 钟秀琴 符红光 丁盘苹 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第3期429-434,共6页
基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效... 基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。 展开更多
关键词 平面几何 本体 PROLOG RDF(S) 定理证明
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部