用于逻辑编程的JavaScript库

Question

你知道任何用于逻辑编程的好javascript库吗？

我对像jsprolog这样的东西感兴趣,但是我想使用javascript与lib进行通信,而不是使用不同的语言(例如本例中的prolog).

非常感谢.

Answer 1

除了 jsprolog 之外，还有几个用于逻辑编程的 JavaScript 库：

• chr.js是 JavaScript 的约束逻辑编程库。它是约束处理规则编程语言的实现。

• Datalog有多种JavaScript 实现，例如DataScript。

• Yield Prolog允许将 Prolog 程序直接嵌入到 JavaScript 中。这特别有用，因为它允许在 Prolog 谓词中使用 JavaScript 函数，反之亦然。

• LogicJS是基于JavaScript库MiniKanRen，已在许多编程语言，包括JavaScript得到落实。

• JavaScript-Logic-Programming-System是另一个用于 JavaScript 的逻辑编程系统。

• 还有一个 Prolog 实现是用不到 200 行 JavaScript 代码编写的。

当然，还有一些用于逻辑编程的 C++ 库可以使用Emscripten自动移植到 JavaScript 中。

Answer 2

还有许多其他语言可以编译为 javascript：https://github.com/jashkenas/coffee-script/wiki/List-of-languages-that-c ​​ompile-to-JS

其中之一有可能（尽管不太可能！）有一个 javascript 友好的 API 和一个可以“编译”成 JavaScript 的合适的库。

正是您不想要的，而且可能是浪费时间:)