用于逻辑编程的 JavaScript 库 [关闭]答案

【问题标题】：JavaScript library for logic programming [closed]用于逻辑编程的 JavaScript 库 [关闭]
【发布时间】：2011-11-27 00:08:33
【问题描述】：

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

我对@987654321@ 之类的东西感兴趣，但我想使用 javascript 与 lib 进行通信，而不是使用其他语言（例如本例中的 prolog）。

非常感谢。

【问题讨论】：

【解决方案1】：

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

chr.js 是 JavaScript 的约束逻辑编程库。它是Constraint Handling Rules 编程语言的实现。
有几个JavaScript implementations of Datalog，比如DataScript。
Yield Prolog 允许将 Prolog 程序直接嵌入到 JavaScript 中。这特别有用，因为它允许在 Prolog 谓词中使用 JavaScript 函数，反之亦然。
LogicJS 是一个基于 MiniKanRen 的 JavaScript 库，已在包括 JavaScript 在内的多种编程语言中实现。
JavaScript-Logic-Programming-System 是 JavaScript 的另一个逻辑编程系统。
another Prolog implementation 用不到 200 行 JavaScript 代码编写。

当然，还有几个C++ libraries for logic programming可以使用Emscripten自动移植到JavaScript中。

【讨论】：

【解决方案2】：

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

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

【讨论】：

【解决方案3】：

请查看 (JSL) https://www.npmjs.com/package/lib-jsl。

从概述文档中可以看出，JSL 是一个基于 JSON 的逻辑编程库，旨在嵌入到 JS 程序中。它使用 JSON 作为其语法以及 I/O 方法

【讨论】：

【解决方案4】：

有一个新工具，一个泛型编译器，给JS添加任何效果，包括逻辑编程，有一个prolog append的例子：https://github.com/awto/mfjs-samples/tree/master/unify

【讨论】：