Javascript似乎成为其他编程语言的实现语言。 该文章 Lightweight compilation of (C)LP to JavaScript. ICLP 2012 提请我注意这一点。使用Javascript的Prolog系统
在Web上用JavaScript编写的Prolog系统有很多验证原型。
什么是当前的,积极维护的,最好是用JavaScript编写的符合ISO标准的Prolog系统?
Javascript似乎成为其他编程语言的实现语言。 该文章 Lightweight compilation of (C)LP to JavaScript. ICLP 2012 提请我注意这一点。使用Javascript的Prolog系统
在Web上用JavaScript编写的Prolog系统有很多验证原型。
什么是当前的,积极维护的,最好是用JavaScript编写的符合ISO标准的Prolog系统?
JavaScript中唯一的Prolog我知道的是YieldProlog,但我没有广泛试用它,只是在QueryEditor可用的代码。我希望比使用yield结构轻巧(我在C#中广泛使用了这样的构造,并且我发现它 - 与lambda成对 - 相当强大)。
但是,当我检查(总结)来源,我发现它确实很复杂,尽管有假设。
编辑
我最近发现的这些贡献,似乎真的很有趣: proscript和proscript2。
您能否向我解释一下“Yield Prolog让您直接在Python,C#[1]还是Javascript中嵌入Prolog程序”实际上意味着什么?这3种语言?或者是什么? – false 2013-03-15 19:43:26
我认为它'编译'子句:[docs](http://yieldprolog.sourceforge.net/tutorial_toc.html)页面广泛... – CapelliC 2013-03-15 20:22:40
Yield Prolog似乎与最新版本的Firefox兼容,但不支持谷歌浏览器。幸运的是,还有一些已经在JavaScript中实现的[其他逻辑编程系统](http://stackoverflow.com/questions/7585903/javascript-library-for-logic-programming)。 – 2016-09-28 06:21:57
这个问题似乎是一个民意调查,因此不适合所以。 – 2013-03-15 14:54:58
@FelixKling:其他语言也有类似的问题:像http://stackoverflow.com/questions/1817010/embedded-prolog-interpreter-compiler-for-java/6591847#6591847 – false 2013-03-15 14:55:57
这是在2009年... ...规则那时候是不同的。 – 2013-03-15 14:56:43