2013-03-15 41 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