Javascript中的Prolog系统 [英] Prolog systems in Javascript

问题描述

Javascript似乎成为其他编程语言的实现语言。
文章
（C）LP的轻量级编译JavaScript。 ICLP 2012
引起了我的注意。

有很多概念验证原型Prolog系统用JavaScript写的

什么是当前的，主动维护的，最好是符合ISO标准的Prolog系统用JavaScript编写？

解决方案

我知道的唯一一个JavaScript中的Prolog是 YieldProlog ，但我没有尝试广泛，只是 QueryEditor 中提供的代码。

我希望比使用yield构造它是轻量级的（我在C＃中广泛使用这样的构造，并且我发现它 - 与lambda配对相当强大）。

我最近发现这些贡献似乎很有趣：
proscript 和 proscript2 。

Javascript seems to become popular as an implementation language for other programming languages. The article Lightweight compilation of (C)LP to JavaScript. ICLP 2012 drew my attention on this.

There are a lot of proof-of-concept prototypes for Prolog systems written in Javascript around on the Web.

What are current, actively maintained, preferably ISO conforming Prolog systems written in Javascript?

解决方案

The only Prolog in JavaScript I know is YieldProlog, but I haven't tried it extensively, just the code available in QueryEditor.

I was hoping than using the yield construct it was lightweight (I used extensively such construct in C#, and I found it - paired to lambda - rather powerful).

But when I inspected (summarily) the source, I found it really complex, despite the assumptions.

edit

I've found recently these contributions, that seem really interesting: proscript and proscript2.

这篇关于Javascript中的Prolog系统的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！