论文部分内容阅读
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过函数语言解释执行实例,验证该解释执行器的有效性。
基于Prolog的函数语言解释执行
【摘 要】
：
通过介绍一个用逻辑语言Prolog设计的函数语言解释执行器原型,展示结合不同的声明式语言进行软件开发的方法。该法可实现不同语言优势互补,以提高生产效率和软件可靠性。通过
【机 构】
：
集美大学计算机工程学院,北京工业大学计算机学院
【出 处】
：
莆田学院学报
【发表日期】
：
2011年2期
【基金项目】
：
福建省自然科学基金资助项目（2008J04005）
其他文献
利用信息技术实现柑橘精准生产管理是果树信息化管理的重点和难点。该文针对山地果园肥水信息化精准管理问题,研发了基于语义本体的柑橘肥水管理决策支持系统。柑橘肥水语义
近年来由于各种原因的影响,戏曲剧本创作以及剧目制作等方面出现了一些不正常的现象——创作唯评奖论。积极鼓励支持广大一线编剧作者及创作人员,深入了解社会,体验生活,创作
我国当前的经济形势和就业形势出现了重大变化,但就业观念还存在很大的思想限制。职业院校作为培养学生的重要场所,进行创建大学创业园,对于创业教育和创业实践活动有重大意
课堂教学是目前英语教学工作开展的主要形式,如何优化课堂教学是英语教学改革的方向,也是实现素质教育的内在要求。本文将多元智力理论引入英语课堂,强调以学生为中心,尊重学
2017年，日内瓦大学携手瑞士联邦政府科技文化中心，共同遴选暑期学校半额奖学金学员三名（减免50%学费，其他费用自理），赴日内瓦大学参加 Understanding Global Governence或 Global Environment， Energy and Risk 暑期课程的学习。 瑞士第二大城市日内瓦以其美食、风景、丰富的文化活动、重大的会议展览闻名于世。众多国际组织也云集于此。日内