用于逻辑编程的JavaScript库 [英] JavaScript library for logic programming
问题描述
您知道用于逻辑编程的任何良好的JavaScript库吗?
Do you know of any good javascript library for logic programming?
我对 jsprolog 之类的东西感兴趣，但是我想使用javascript与lib进行通信，而不是另一种语言(例如本例中的序言).
I'm interested in something like jsprolog, but I want to use javascript to communicate with the lib, and not a different language (such as prolog in this case).
非常感谢.
推荐答案
除了jsprolog，还有一些用于逻辑编程的JavaScript库:
In addition to jsprolog, there are several JavaScript libraries for logic programming:
chr.js is a constraint logic programming library for JavaScript. It is an implementation of the Constraint Handling Rules programming language.
有几个 Datalog的JavaScript实现，例如 DataScript .
Yield Prolog 允许将Prolog程序直接嵌入到JavaScript中.这特别有用，因为它允许在Prolog谓词中使用JavaScript函数，反之亦然.
Yield Prolog allows Prolog programs to be embedded directly in JavaScript. This is especially useful because it allows JavaScript functions to be used in Prolog predicates, and vice-versa.
LogicJS 是基于
LogicJS is a JavaScript library that is based on MiniKanRen, which has been implemented in many programming languages, including JavaScript.
JavaScript-Logic-Programming-System 是另一种逻辑JavaScript编程系统.
JavaScript-Logic-Programming-System is another logic programming system for JavaScript.
有另一个Prolog实现，该实现用不到200行JavaScript代码.
There is another Prolog implementation that was written in less than 200 lines of JavaScript code.
当然，还有几个 Emscripten .
Of course, there are also several C++ libraries for logic programming that could be automatically ported into JavaScript using Emscripten.
这篇关于用于逻辑编程的JavaScript库的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！
