论文部分内容阅读
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
基于Prolog的函数语言解释执行
【摘 要】
：
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过
【机 构】
：
集美大学计算机工程学院,北京工业大学计算机学院
【出 处】
：
莆田学院学报
【发表日期】
：
2011年2期
【基金项目】
：
福建省自然科学基金资助项目（2008J04005）
其他文献
近日，马云在澳大利亚宣布，向纽卡斯尔大学捐赠2000万美元，用以设立Ma—MorJey奖学金。这是马云公益基金首次在海外大学设立奖学金。马云为何豪掷上亿人民币，捐赠给一所澳洲的大学
利用信息技术实现柑橘精准生产管理是果树信息化管理的重点和难点。该文针对山地果园肥水信息化精准管理问题,研发了基于语义本体的柑橘肥水管理决策支持系统。柑橘肥水语义
近年来由于各种原因的影响,戏曲剧本创作以及剧目制作等方面出现了一些不正常的现象——创作唯评奖论。积极鼓励支持广大一线编剧作者及创作人员,深入了解社会,体验生活,创作
我国当前的经济形势和就业形势出现了重大变化,但就业观念还存在很大的思想限制。职业院校作为培养学生的重要场所,进行创建大学创业园,对于创业教育和创业实践活动有重大意
课堂教学是目前英语教学工作开展的主要形式,如何优化课堂教学是英语教学改革的方向,也是实现素质教育的内在要求。本文将多元智力理论引入英语课堂,强调以学生为中心,尊重学
文缘《自画像》使用材料:colored pencils,mark pens,acrylic 作品灵感来自马歇尔·杜尚的立体主义作品《上楼的裸女2号》,作者用多材料、多色彩的多幅作品,以立体主义的
我国高校纷纷走出国门,但相比其他国家,步子仍落后许多。国内高校在海外开办分校,中国在国际上只能算是后来者。
2017年，日内瓦大学携手瑞士联邦政府科技文化中心，共同遴选暑期学校半额奖学金学员三名（减免50%学费，其他费用自理），赴日内瓦大学参加 Understanding Global Governence或 Global Environment， Energy and Risk 暑期课程的学习。 瑞士第二大城市日内瓦以其美食、风景、丰富的文化活动、重大的会议展览闻名于世。众多国际组织也云集于此。日内
距离环球雅思被培生收购尚不足六年,培生为何会有出售的决定？当下的局面,是怎样形成的？环球雅思一旦被出售,其后续发展如何？就这些问题,《留学》记者展开了调查和分析。近日有媒