PROLOG

作品数:411被引量:258H指数:7
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:雷英杰陶文祥崔奇明曾湘燕邓铁清更多>>
相关机构:国防科学技术大学吉林大学上海交通大学中山大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金教育部高等学校骨干教师资助计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件x
条 记 录,以下是1-8
视图:
排序:
UCB策略在Prolog中的应用被引量:1
《软件》2012年第9期24-26,共3页高慧 刘知青 
Prolog(Programming in Logic)程序语言是一种逻辑程序设计语言。它是在逻辑学理论基础上建立起来的并广泛应用在人工智能研究中。这几十年已经出现了各具特色的Prolog编译器,而且各种编译器也都很成功。虽然在现阶段已经出现了各种版本...
关键词:PROLOG 程序语言 词法分析 语法分析 UCB 
模块化Prolog的研究与实现
《软件》1994年第10期7-12,共6页周立 吴泉源 陈火旺 
为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操...
关键词:PROLOG语言 模块化 程序语言 逻辑程序设计 
Prolog的扩充表内部设施
《软件》1993年第6期19-41,共23页晓钰 
关键词:数据库 扩充表 逻辑程序 PROLOG 
高效率的Prolog程序设计
《软件》1992年第12期765-778,共14页Knuut,T 吴秀敏 
关键词:PROLOG 程序设计 
用于组合Prolog数据库的反映机制
《软件》1991年第12期1056-1073,共18页Lamma,E 王津涛 
关键词:PROLOG 数据库 逻辑程序设计 
实现ProTest:用于精炼逻辑框模型的一个Prolog调试程序
《软件》1991年第4期299-317,共19页SCHLE.,A 曹利华 
关键词:调试程序 逻辑框模型 PROTEST 
智能CAD系统:Prolog与CADAM结合的产物
《软件》1991年第4期356-379,共24页Bond,AH 王津涛 
关键词:人工智能 CAD CADAM PROLOG 
PROLOG中的记录操纵
《软件》1990年第2期179-186,共8页Vauc.,JG 刘蕊红 
关键词:PROLOG语言 程序设计语言 记录 
检索报告 对象比较 聚类工具 使用帮助 返回顶部