切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
Uciro Prolog应用中的问题及其与通用语言PASCAL的比较
Uciro Prolog应用中的问题及其与通用语言PASCAL的比较
来源 :中国计算机学会PROLOG语言学术讨论会 | 被引量 : 0次 | 上传用户:kelusi09
【摘 要】
:
为了深入了解PROLOG,作者用Uciro-Prolog对一些数理逻辑问题进行了尝试,该文在这一实践基础上,从理论和实际两方面探讨了Uciro-Prolog的基本功能,存在的问题,并用通用语言PASCAL进
【作 者】
:
刘亚
【机 构】
:
四川大学
【出 处】
:
中国计算机学会PROLOG语言学术讨论会
【发表日期】
:
1985年期
【关键词】
:
应用
通用
逻辑问题
基本功能
语言
数理
实践
理论
基础
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了深入了解PROLOG,作者用Uciro-Prolog对一些数理逻辑问题进行了尝试,该文在这一实践基础上,从理论和实际两方面探讨了Uciro-Prolog的基本功能,存在的问题,并用通用语言PASCAL进行了一系列比较。(本刊录)
其他文献
863计划自动化技术领域CIMS(511)主题第四届专家组成员简介
863计划自动化技术领域CIMS(511)主题第四届专家组成员简介吴澄第四届CIMS主题专家组组长。曾任第一届、第二届自动化领域专家委员会委员,第三届CIMS主题专家组组长。现任清华大学自动化系教授、博
期刊
自动化技术
领域专家
计算机软件工程
部级科技进步
集成平台
专家系统
计算机科学
协议工程
访问研究
管理信息系统
从系统结构层次看问题
人类认识问题有三个层次:从事件层次、从行为模式层次和从系统结构层次,只有从系统结构层次认识问题才可能看到事物变化背后的本质,才可能找到问题症结,找到根本解决之
会议
电力系统故障后频率平衡与同步平衡分析
会议
电力系统故障
频率
土壤养份状况系统研究法在菜地测土施肥中的应用
在郑州郊区菜园土壤上,应用土壤养份状况系统研究法测定土壤中11种大、中、微量元素含量,结合土壤对营养元素的吸附研究和盆栽试验,判断土壤中存在的和潜在养份限制因子,用以指导田
会议
系统研究法
土壤养份
平衡施肥
吸附
茄子
川芎素对系统性硬皮病患者循环内皮细胞的影响
笔者观察了38例系统性硬皮病患者的循环内皮细胞数量的变化及川芎素治疗对血管内皮细胞损伤的影响,探讨川芎素治疗系统性硬皮病的疗效机理,并与53名健康者进行了对比观察.文
会议
川芎素
系统性硬皮病
患者
循环内皮细胞
血管内皮细胞损伤
治疗
细胞数量
疗效机理
对比观察
健康者
电压紧急控制的新方法
会议
电压
紧急控制
浅淡机场建设工程招标评标方法
综合评估法在我国建筑工程招标中已经得到广泛的应用,但是在我国民用机场建设工程中的应用还处于起步阶段.本文将对综合评估法的原理、以及在机场建设工程中的具体应用、操作
期刊
机场工程
招标
综合评估法
物理事理人理方法论国际交流的启示
该文介绍物理事理人理方法论的概貌和发展,着重总结和分析物理事理人理方法论国际交流的过程,希望对中国系统界和系统研究走向世界提供启示。
会议
AI系列人工智能工业调节器设计选型资料(-)
AI系列人工智能工业调节器设计选型资料(-)厦门宇光电子技术研究所供稿1AI系列的主要特点(1)采用先进的ASIC芯片及技术制造。减少了体积。降低成本并提高可靠性。(2)数字输入及输出校正系统。省
期刊
AI
设计选型
光电子技术
数字输入
技术制造
自整定
仪表控制
给定值
信号定义
位式控制
可编程序控制器在船舶电站的应用
会议
可编程序控制器
船舶电站
与本文相关的学术论文