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

Posted 2023-05-08

【中文标题】用于逻辑编程的 JavaScript 库 [关闭]

【英文标题】：JavaScript library for logic programming [closed]

【发布时间】：2011-11-27 00:08:33

【问题描述】：

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

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

非常感谢。

【问题讨论】：

你看过 Python 吗？它的语法与您链接的语言非常相似（IMO 更具可读性），并且有 Python 子集的 JS 实现。

不确定我是否已经足够清楚地解释了自己。提取我想说的意思：期望的范式：逻辑编程；所需语言：javascript；所需语法：javascript。

查看有关 Prolog 的 JavaScript 实现的相关讨论：***.com/questions/15435462/…

@try-catch-finally 据我所知，这些运算符在 JavaScript 中不提供 logic programming 功能。

【参考方案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：https://github.com/jashkenas/coffee-script/wiki/List-of-languages-that-compile-to-JS

有可能（尽管不太可能！）其中一个具有 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