• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Transformation Rules and Strategies for Functional-Logic Programs
【24h】

Transformation Rules and Strategies for Functional-Logic Programs

机译：功能逻辑程序的转换规则和策略

获取原文
获取原文并翻译 | 示例
       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper abstracts the contents of a PhD dissertation entitled 'Transformation Rules and Strategies for Functional-Logic Programs' which has been recently defended. These techniques are based on fold/unfold transformations and they can be used to optimize integrated (functional-logic) programs for a wide class of applications. Experimental results shows that typical examples in the field of Artificial Intelligence are successfully enhanced by our transformation system SYNTH. The thesis presents the first approach of these methods for declarative languages that integrate the best features from functional and logic programming.
机译：本文对最近题为“功能逻辑程序的转换规则和策略”的博士学位论文的内容进行了抽象。这些技术基于折叠/展开转换，可用于针对各种应用程序优化集成（功能逻辑）程序。实验结果表明，我们的转换系统SYNTH成功地增强了人工智能领域的典型实例。本文介绍了用于声明语言的这些方法的第一种方法，该方法集成了功能和逻辑编程的最佳功能。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号