JavaScript似乎越来越流行作为其他编程语言的实现语言。文章轻量级(C)LP到JavaScript的编译。ICLP 2012引起了我的注意。
网络上有很多用JavaScript编写的Prolog系统的概念验证原型。
目前有哪些活跃维护的、最好符合ISO标准的JavaScript编写的Prolog系统?
网络上有很多用JavaScript编写的Prolog系统的概念验证原型。
目前有哪些活跃维护的、最好符合ISO标准的JavaScript编写的Prolog系统?
有一件新事物,hhprolog,这是一个纯粹的Prolog引擎,基于Paul Tarau提供的代码和文档,并由我将其移植到Javascript。因此,它可在浏览器和NodeJS中使用。
该项目仍处于初步阶段,主要需要引导解释器:现在必须使用安装了SWI-Prolog且正确配置(需要JPL)的情况下将Prolog(预)编译为(新颖的)虚拟机。
为了实现这种引导,我可能需要实现否定来重用Paul的接口,或者更好的尝试在纯范式中实现某些东西。特别地,只有无限整数算术(再次感谢Paul Tarau,有一些Python代码可用-我将尝试懒惰地将其移植到Javascript中)。