切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Prolog的函数语言解释执行
基于Prolog的函数语言解释执行
来源 :莆田学院学报 | 被引量 : 0次 | 上传用户:evemxy
【摘 要】
:
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过
【作 者】
:
陈荣鑫
廖湖声
【机 构】
:
集美大学计算机工程学院,北京工业大学计算机学院
【出 处】
:
莆田学院学报
【发表日期】
:
2011年2期
【关键词】
:
声明式语言
Lambda演算
PROLOG
函数语言
解释执行
declarative language Lambda calculus Prolog func
【基金项目】
:
福建省自然科学基金资助项目(2008J04005)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
其他文献
豪掷2000万美元在澳设立奖学金马云:这是为了报恩
近日,马云在澳大利亚宣布,向纽卡斯尔大学捐赠2000万美元,用以设立Ma—MorJey奖学金。这是马云公益基金首次在海外大学设立奖学金。马云为何豪掷上亿人民币,捐赠给一所澳洲的大学
期刊
奖学金
马云
美元
报恩
澳大利亚
公益基金
大学
人民币
基于语义本体的柑橘肥水管理决策支持系统
利用信息技术实现柑橘精准生产管理是果树信息化管理的重点和难点。该文针对山地果园肥水信息化精准管理问题,研发了基于语义本体的柑橘肥水管理决策支持系统。柑橘肥水语义
期刊
施肥
灌溉
管理
语义网
本体
决策支持系统
精准农业
戏曲创作应回归到以受众为中心
近年来由于各种原因的影响,戏曲剧本创作以及剧目制作等方面出现了一些不正常的现象——创作唯评奖论。积极鼓励支持广大一线编剧作者及创作人员,深入了解社会,体验生活,创作
期刊
受众中心唯评奖论
创作周期
创作垄断
大制作
小戏
职业院校学生创业园建设机制创新研究
我国当前的经济形势和就业形势出现了重大变化,但就业观念还存在很大的思想限制。职业院校作为培养学生的重要场所,进行创建大学创业园,对于创业教育和创业实践活动有重大意
期刊
职业院校
创业园
创新研究
多元智力理论视野下的英语课堂差异化教学——依据文、理思维倾向差异开展因材施教的尝试
课堂教学是目前英语教学工作开展的主要形式,如何优化课堂教学是英语教学改革的方向,也是实现素质教育的内在要求。本文将多元智力理论引入英语课堂,强调以学生为中心,尊重学
期刊
多元智力理论
差异化教学
思维倾向
流动的色彩、静止的影像:复刻、记录、展示与重构
文缘《自画像》使用材料:colored pencils,mark pens,acrylic 作品灵感来自马歇尔·杜尚的立体主义作品《上楼的裸女2号》,作者用多材料、多色彩的多幅作品,以立体主义的
期刊
色彩
影像
静止
立体主义
《自画像》
MARK
作品
马歇尔
北大在牛津开分校 中国大学开设海外校区是必然趋势?
我国高校纷纷走出国门,但相比其他国家,步子仍落后许多。国内高校在海外开办分校,中国在国际上只能算是后来者。
期刊
英国开放大学
英国《卫报》
中国教育界
汇丰
英国广播公司
《泰晤士报》
走出国门
诺丁汉大学
英语授课
国内大学
2017日内瓦大学暑期学校半额奖学金开始申请
2017年,日内瓦大学携手瑞士联邦政府科技文化中心,共同遴选暑期学校半额奖学金学员三名(减免50%学费,其他费用自理),赴日内瓦大学参加 Understanding Global Governence或 Global Environment, Energy and Risk 暑期课程的学习。 瑞士第二大城市日内瓦以其美食、风景、丰富的文化活动、重大的会议展览闻名于世。众多国际组织也云集于此。日内
期刊
日内瓦大学
半额
暑期学校
文化中心
其他费用
瑞士联邦
大城市
高校排名
全球治理
国际机构
环球雅思或将被培生出售 此局怎么破?
距离环球雅思被培生收购尚不足六年,培生为何会有出售的决定?当下的局面,是怎样形成的?环球雅思一旦被出售,其后续发展如何?就这些问题,《留学》记者展开了调查和分析。近日有媒
期刊
华尔街英语
英语培训
新概念英语
疯狂科学
大卫
国际英语
零售市场
大中华区
职业经理人
教育内容
论闽台妈祖体育文化
界定闽台妈祖体育文化的概念,挖掘妈祖生平故事中的体育文化因素,探讨闽台妈祖体育文化的内容,阐述闽台妈祖体育文化性质,并指出充分发挥闽台妈祖体育文化的资源优势,促进闽台交流
期刊
闽台妈祖体育文化
概念
内容
性质
the Mazu sports culture of Fujian and Taiwan concept content n
与本文相关的学术论文