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