2013-03-15 77 views
18

Javascript似乎成为其他编程语言的实现语言。 该文章 Lightweight compilation of (C)LP to JavaScript. ICLP 2012 提请我注意这一点。使用Javascript的Prolog系统

在Web上用JavaScript编写的Prolog系统有很多验证原型。

什么是当前的,积极维护的,最好是用JavaScript编写的符合ISO标准的Prolog系统?

+2

这个问题似乎是一个民意调查,因此不适合所以。 – 2013-03-15 14:54:58

+0

@FelixKling:其他语言也有类似的问题:像http://stackoverflow.com/questions/1817010/embedded-prolog-interpreter-compiler-for-java/6591847#6591847 – false 2013-03-15 14:55:57

+4

这是在2009年... ...规则那时候是不同的。 – 2013-03-15 14:56:43

回答

13

JavaScript中唯一的Prolog我知道的是YieldProlog,但我没有广泛试用它,只是在QueryEditor可用的代码。我希望比使用yield结构轻巧(我在C#中广泛使用了这样的构造,并且我发现它 - 与lambda成对 - 相当强大)。

但是,当我检查(总结)来源,我发现它确实很复杂,尽管有假设。

编辑

我最近发现的这些贡献,似乎真的很有趣: proscriptproscript2

+0

您能否向我解释一下“Yield Prolog让您直接在Python,C#[1]还是Javascript中嵌入Prolog程序”实际上意味着什么?这3种语言?或者是什么? – false 2013-03-15 19:43:26

+2

我认为它'编译'子句:[docs](http://yieldprolog.sourceforge.net/tutorial_toc.html)页面广泛... – CapelliC 2013-03-15 20:22:40

+0

Yield Prolog似乎与最新版本的Firefox兼容,但不支持谷歌浏览器。幸运的是,还有一些已经在JavaScript中实现的[其他逻辑编程系统](http://stackoverflow.com/questions/7585903/javascript-library-for-logic-programming)。 – 2016-09-28 06:21:57