Javascript中的Prolog系统

Javascript似乎成为其他编程语言的一种实现语言。 文章 引起了我的注意

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

---

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

我所知道的Javascript中唯一的Prolog是，但我没有广泛地尝试过，只尝试了中可用的代码

我希望它比使用yield结构更轻量级（我在C#中广泛使用了这种结构，我发现它与lambda配对，相当强大）

但当我（简要地）检查来源时，我发现它确实很复杂，尽管有一些假设

编辑

我最近发现了这些似乎非常有趣的贡献： 和

编辑

提供了一个新的实施方案：

，从SWI邮件列表中的1月起引起我的注意

编辑

一些新的东西，一个纯Prolog引擎，基于Paul Tarau提供的代码和文档，由我移植到Javascript。因此，在浏览器和NodeJ中都可用

该项目仍然是初步的，主要需要引导到解释器：现在（预）将Prolog编译到（新的）虚拟机必须在安装了SWI-Prolog并正确配置（需要JPL）的情况下完成

---

为了实现这样的自举，我可能需要实现否定，重用Paul的接口，或者——更好地——尝试实现一些停留在纯范式中的东西。特别是，只有无界整数算术（同样由Paul Tarau编写，有一些Python代码可用-我将尝试懒洋洋地移植到Javascript）。

这个问题似乎是一个民意测验，因此不适合这样做。@FelixKling:其他语言也有类似的问题：比如这是在2009年。。。当时的规则不同。可能有助于将原始性能带到这一点topic@CapelliC：谢谢！！！你能解释一下“Yield Prolog让你直接在Python、C#[1]或Javascript中嵌入Prolog程序”实际上是什么意思吗？这三种语言是什么？还是什么？我认为它是“编译”条款：页面非常广泛……Prolog似乎与最新版本的Firefox兼容，但与Google Chrome不兼容。幸运的是，有一些已经用JavaScript实现了。