收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

逻辑程序设计系统LOGIC

邢汉承  林阿龙  
【摘要】:本文主要介绍在IBMPC/XT,AT机上开发的函数型与逻辑型相结合的程序设计系统LOGIC的实现思想。介绍了LOGIC的计算机制。较为详细地讨论了LOGIC的启发式搜索技术,对“启发式搜索”中“代价步增量”的影响作了简要分析。文中给出了LOGIC演绎周期的主要作流工程,最后提出了一种用“LISP专用形归结”机制实现“Cut”算子的方法。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 H.E.Pike;蔡径球;;过程控制软件[J];计算机科学;1980年02期
2 Terry Winograd ,何新贵;超级程序设计语言[J];系统工程与电子技术;1981年06期
3 徐家福;;软件工程设计与函数式程序设计系统[J];计算机研究与发展;1981年01期
4 孙怀民,王立国;利用子目标演绎和结构归纳法的自动编程技术[J];计算机学报;1983年06期
5 陈慧清;;日本研制第五代计算机系统的计划[J];计算机工程与科学;1983年01期
6 James C.King;韩苏南;;程序正确性:论归纳断言法[J];计算机科学;1983年03期
7 韩苏南;;子目标归纳法及其应用示例[J];计算机科学;1983年03期
8 杨芙清;徐家福;;本刊十周年纪念征文之五 试论结构问题[J];计算机科学;1983年06期
9 赖翔飞,吴利夫;程序设计系统FORTH的移植与开发[J];计算机应用与软件;1984年01期
10 John Backus;戴敏;;程序设计能从冯·诺依曼式的设计风格中解放出来吗?函数式程序设计及其程序代数[J];计算机科学;1984年03期
中国重要会议论文全文数据库 前10条
1 李慷;刘咸姝;;一种新型的多目标协调决策方法——变距离交互搜索法[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
2 汪镭;韩生廉;许维胜;萧蕴诗;吴启迪;;并行工程环境下模糊多目标决策的神经网络模拟[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
3 张莲芳;;人工智能在后勤领域中的应用[A];1999年中国智能自动化学术会议论文集(下册)[C];1999年
4 谷式谿;;电加工技术与设备的发展预测[A];第五届全国电加工学术年会论文集(特种加工篇与综合性论文篇)[C];1986年
5 刘志宏;;多目标运输路径选择与决策的研究[A];第七届计算机模拟与信息技术学术会议论文集[C];1999年
6 吴旭翔;;聚丙烯称量控制专家系统的建立和应用[A];1997中国控制与决策学术年会论文集[C];1997年
7 曾伟;费奇;;基于MAS的组织合作问题求解[A];2001中国控制与决策学术年会论文集[C];2001年
8 杨翊鹏;李少远;;基于满意优化的视觉机器人路径规划[A];第二十一届中国控制会议论文集[C];2002年
9 戴杰;;运筹学决策分析理论在燕化乙烯改扩建工程施工中的应用[A];中国石油石化工程技术和物装手册(第一分册)[C];2003年
10 郑凯;;对统计分析中常用赋权方法及权值效用的分析[A];第七届全国体育科学大会论文摘要汇编(二)[C];2004年
中国博士学位论文全文数据库 前8条
1 邢强;样例解题步骤编码对原理学习和迁移的影响[D];华南师范大学;2002年
2 董红召;行业型企业联盟及其分形网络协作理论与方法的研究[D];浙江大学;2002年
3 陶午沙;基于结构模型的遥感图像军事阵地目标特征分析及其识别技术研究[D];国防科学技术大学;2004年
4 罗党;灰色决策问题的分析方法研究[D];南京航空航天大学;2005年
5 向喜琼;区域滑坡地质灾害危险性评价与风险管理[D];成都理工大学;2005年
6 缪祥华;一种分析和设计安全协议的新逻辑[D];西南交通大学;2006年
7 叶媛媛;多UCAV协同任务规划方法研究[D];国防科学技术大学;2005年
8 姚震;并行程序设计模型若干问题研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 边嘉耕;归纳逻辑程序设计在数据库知识发现中的应用研究[D];北京工业大学;2000年
2 夏姗姗;归纳逻辑程序设计系统向约束方向的扩充[D];北京工业大学;2000年
3 赵一雪;基于XML数据库的数据查询优化的研究[D];哈尔滨工程大学;2006年
4 姜德祥;认知风格与样例对数学学习迁移的影响[D];南京师范大学;2005年
5 徐江南;基于群组层次分析法的管理咨询项目均衡控制模型研究[D];湖南大学;2006年
6 王小艳;水资源紧缺地区水库优化调度方案研究[D];河海大学;2007年
7 宋敏;基于预警模型的榆林煤炭工业可持续发展研究[D];西北工业大学;2007年
8 谭学英;无人机科研项目立项评价方法研究[D];西北工业大学;2007年
9 朱啸宇;织可穿针织服装的工艺设计与开发[D];天津工业大学;2007年
10 徐燕平;产生式理论在高中有机化学教学中的应用研究[D];华东师范大学;2007年
中国重要报纸全文数据库 前10条
1 汉仁;长江证券全面介入证券电子商务[N];证券时报;2000年
2 本报记者 李卫玲;超越成本控制的机制[N];中国财经报;2001年
3 苏寿堂;为何提出企业利润预算管理[N];中国财经报;2001年
4 本报记者 胡谋;该选谁,先听群众意见[N];人民日报;2001年
5 余文森;造就具有时代精神的人[N];中国教育报;2002年
6 邓为民;平衡记分卡 信息时代的业绩评价工具[N];中国企业报;2002年
7 曹建海;日产汽车成功对我国企业及企业家的启示[N];中国经营报;2002年
8 外经贸大学刘宝成;合资谈判中的“蛋糕困境”[N];中华工商时报;2002年
9 通讯员 金连升;浙江中药产业面临发展良机[N];浙江日报;2002年
10 ;目标管理对实施人事制度改革的导向作用[N];组织人事报;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978