JavaScript library for logic programming

Question

Do you know of any good javascript library for logic programming?

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).

Many thanks.

Have you looked at Python? It has a syntax very similar (IMO a bit more readable) than that language you linked to, and there are JS implementations of a subset of Python. — Blender, Sep 28 '11 at 15:51
Not sure I have explained myself clearly enough. Extracting the meaning of what I tried to say: Desired paradigm: logic programming; Desired language: javascript; Desired syntax: javascript. — ivo, Oct 09 '11 at 17:48
See this related discussion about JavaScript implementations of Prolog: http://stackoverflow.com/questions/15435462/prolog-systems-in-javascript — Anderson Green, Mar 16 '15 at 21:03
@try-catch-finally As far as I know, these operators do not provide [logic programming](https://en.wikipedia.org/wiki/Logic_programming) features in JavaScript. — Anderson Green, Sep 26 '16 at 02:19

Anderson Green · Answer 1 · 2017-04-07T23:26:59.753

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.
There are several JavaScript implementations of Datalog such as DataScript.
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 is a JavaScript library that is based on MiniKanRen, which has been implemented in many programming languages, including JavaScript.
JavaScript-Logic-Programming-System is another logic programming system for JavaScript.
There is another Prolog implementation that was written in less than 200 lines of JavaScript code.

Of course, there are also several C++ libraries for logic programming that could be automatically ported into JavaScript using Emscripten.

score 2 · Answer 2 · edited May 13 '16 at 07:25

2

Please check out (JSL) https://www.npmjs.com/package/lib-jsl.

From the overview document, JSL is a JSON based logic programming library meant for embedded use in JS programs. It uses JSON as its syntax as well as I/O method

edited May 13 '16 at 07:25

David Ansermot

6,052
8
47
82

answered May 13 '16 at 07:04

Ruchir Walia

51
2

score 2 · Answer 3 · answered Oct 04 '11 at 02:58

2

There are a bunch of other languages that compile to javascript: https://github.com/jashkenas/coffee-script/wiki/List-of-languages-that-compile-to-JS

It is possible (although not probable!) one of those has a javascript friendly API AND a suitable library that can by "compiled" into JavaScript.

Exactly what you aren't looking for, and probably a time waster :)

answered Oct 04 '11 at 02:58

robocat

5,293
48
65

2

Yes, I am aware of this list. Not what I'm looking for. Thanks though. – ivo Oct 09 '11 at 17:45
1

Hopefully that link is useful to someone else coming to this thread. – robocat Oct 10 '11 at 03:51

score 1 · Answer 4 · answered Jun 21 '16 at 11:22

1

There is a new tool, a generic compiler adding any effect to JS, including logic programming, there is an example of prolog append: https://github.com/awto/mfjs-samples/tree/master/unify

answered Jun 21 '16 at 11:22

user1686250

815
7
10

JavaScript library for logic programming

4 Answers4

Linked