轻量级将（C）LP编译为JavaScript
摘要：将Prolog（和扩展）转换为JavaScript 的编译器的提出和评估，使得（约束）逻辑编程能够用于开发符合当前工业标准的Web应用程序的客户端。定位到JavaScript使得（C）LP 程序可以在几乎所有现代计算设备上执行，用户无需额外的软件要求。而且，使用非常高级的语言有助于开发高质量的复杂软件。该编译器是Ciao 系统的后端，并支持其大部分功能，包括其模块系统和基于包的丰富语言扩展机制。我们对编译过程进行了概述，并详细说明了运行时系统，包括支持将其模块化编译为单独的JavaScript 代码。我们通过测试复杂代码（例如用Prolog编写的CLP(FD)库和带属性变量）来证明编译器的成熟性。最后，通过在主要的JavaScript 引擎上运行一些LP和CLP(FD)基准测试来验证我们的提案的性能。
作者：Jose F. Morales, R''emy Haemmerl''e, Manuel Carro, and Manuel V. Hermenegildo
论文ID：1210.2864
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-10-11