Javascript似乎成为其他编程语言的实现语言.文章 轻量级编译(C)LP到JavaScript.ICLP 2012 引起了我的注意.
在Web上用Javascript编写的Prolog系统有很多概念验证原型.
什么是当前的,积极维护的,最好是用Javascript编写的符合ISO标准的Prolog系统？
有没有办法 在Lua中进行逻辑编程(想想Prolog)？
特别是:有没有用于逻辑编程的Lua模块(miniKanren实现将是最好的,但并不是严格要求的)？因为我找不到任何[1].如果没有,是否有任何已知的(最好尝试过)如何在Lua中进行逻辑编程？
另外:有没有人试图在Lua中做类似逻辑编程的事情？
[1]到目前为止,我发现只有博客文章提到在Metalua中写一个的可能性,但我宁愿看到一个兼容标准的Lua.