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.
4
-
1Have 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– Blender2011-09-28 15:51:22 +00:00Commented Sep 28, 2011 at 15:51
-
2Not 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– ivo2011-10-09 17:48:21 +00:00Commented Oct 9, 2011 at 17:48
-
See this related discussion about JavaScript implementations of Prolog: stackoverflow.com/questions/15435462/…Anderson Green– Anderson Green2015-03-16 21:03:30 +00:00Commented Mar 16, 2015 at 21:03
-
1@try-catch-finally As far as I know, these operators do not provide logic programming features in JavaScript.Anderson Green– Anderson Green2016-09-26 02:19:49 +00:00Commented Sep 26, 2016 at 2:19
Add a comment
|
4 Answers
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.
Comments
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 :)
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
Comments
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
