• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议> >System description: teyjus-a compiler and abstract machine based implementation of #lambda# prolog
【24h】

System description: teyjus-a compiler and abstract machine based implementation of #lambda# prolog

机译：系统描述：teyjus-＃lambda＃prolog的基于编译器和抽象机的实现

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

摘要

The logic programming language #lambda# Prolog is based on the inuitionistic theory of higher- order hereditary Harrop formulas, a logic that significantly extends the theory of Horn clauses. A systematic exploitation of features in the richer logic endows #lambda# Prolog with capabilities at the programming level that are not present in traditional logic programming languages. Severla studies have established the value of #lambda# Prolog as a language for implementing systems that manipulate formal objects such as formulas, programs, proofs and types. Towards harnessing these benefits, methods have been developed for realizing this language efficiently. This work has culminated in the description of an abstract machine and compiler based implementation scheme. An actual implementation of #lambda# Prolog based on these ideas has recently been completed. The planned presentation will exhibit this system-called Teyjus-and will also illuminate the metalanguage capabilities of #lambda# Prolog.
机译：逻辑编程语言＃lambda＃Prolog基于高阶遗传Harrop公式的入侵理论，该逻辑大大扩展了Horn子句的理论。系统地利用更丰富的逻辑中的功能，使＃lambda＃Prolog具有编程级别的功能，而这些功能是传统逻辑编程语言所没有的。 Severla的研究已经确定了＃lambda＃Prolog的价值，它是一种用于实现操纵诸如公式，程序，证明和类型之类的形式对象的系统的语言。为了利用这些好处，已经开发了有效实现这种语言的方法。这项工作最终以对抽象机和基于编译器的实现方案的描述为结尾。基于这些想法的＃lambda＃Prolog的实际实现最近已经完成。计划的演示将展示名为Teyjus的系统，还将阐明＃lambda＃Prolog的元语言功能。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号