首页> 外文OA文献 >Efficient Translation of Lazy Functional Logic Programs into Prolog

【2h】

Efficient Translation of Lazy Functional Logic Programs into Prolog

机译：惰性功能逻辑程序到Prolog的有效翻译

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Michael Hanus; Informatik Ii; Rwth Aachen;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Translating OWL and semantic web rules into prolog: Moving toward description logic programs [J] . KEN SAMUEL, LEO OBRST, SUZETTE STOUTENBERG, Theory and Practice of Logic Programming . 2008,第3期

机译：将OWL和语义Web规则转换为序言：转向描述逻辑程序
2. A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates [J] . The Journal of Functional and Logic Programming . 2004,第5期

机译：具有不确定的惰性函数和内置谓词的函数一阶逻辑程序的证明过程
3. Partial evaluation of lazy functional logic programs [J] . Pascual Julian Iranzo AI communications . 2003,第2期

机译：惰性函数逻辑程序的部分评估
4. From Functional Logic Programs to Purely Functional Programs Preserving Laziness [C] . Bernd Brassel, Sebastian Fischer International Workshop on Implementation and Applications of Functional Languages . 2011

机译：从功能逻辑计划到纯粹的功能计划保存懒惰
5. Fully Lazy Evaluation of Functional Programs利用統計を見る [D] . Takeichi Masato 1987

机译：查看功能程序使用情况统计的完全惰性评估
6. Automated Software Acceleration in Programmable Logic for an Efficient NFFT Algorithm Implementation: A Case Study [O] . Manuel Rodríguez, Eduardo Magdaleno, Fernando Pérez, 2017

机译：高效实现NFFT算法的可编程逻辑中的自动化软件加速：一个案例研究
7. Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam [O] . Antonis Stampoulis, Adam Chlipala 2018

机译：使用高阶逻辑编程进行原型设计：学习λprolog/ makam的方法的功能珍珠

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号