Javascript中的Prolog系统

Question

Javascript似乎成为其他编程语言的实现语言.文章 轻量级编译(C)LP到JavaScript.ICLP 2012 引起了我的注意.

在Web上用Javascript编写的Prolog系统有很多概念验证原型.

什么是当前的,积极维护的,最好是用Javascript编写的符合ISO标准的Prolog系统？

Answer 1

我知道的唯一的Prolog是YieldProlog,但我没有广泛尝试过,只是QueryEditor中提供的代码.

我希望使用yield构造它是轻量级的(我在C#中广泛使用了这样的构造,我发现它 - 与lambda配对 - 相当强大).

但是当我(简要地)检查来源时,我发现它确实非常复杂,尽管有这些假设.

编辑

我最近发现这些贡献,看起来真的很有趣: proscript和proscript2.

编辑

一个新的实现:

Tau Prolog,在SWI邮件列表上从Jan引起了我的注意

编辑

一些新的,hhprolog,一个纯粹的Prolog引擎,基于Paul Tarau提供的代码和文档,由我移植到Javascript.因此,可在浏览器和NodeJS中使用.

该项目仍然是初步的,主要需要引导到解释器:现在(预)编译Prolog到(新颖的)虚拟机必须通过安装SWI-Prolog,正确配置(需要JPL​​)来完成.

为了实现这样的引导,我可能需要实现否定,重用Paul的接口,或者 - 更好 - 尝试实现保持纯范式的东西.特别是,只有无界的整数运算(再次由Paul Tarau,有一些Python代码可用 - 我会懒得尝试移植到Javascript).