在Lua中的逻辑编程？

2012-2-19 15:5:16
收藏：0
阅读：80
评论：3

有没有一种方法可以在 Lua 中进行逻辑编程（比如 Prolog）？

特别是：有没有用于逻辑编程的 Lua 模块（最好是 miniKanren 的实现，但并不是必需的）？因为我找不到任何一个 [1]。如果没有，是否有任何已知的（最好是经过尝试的）方法来在 Lua 中进行逻辑编程？

还有：有没有人尝试在 Lua 中进行类似逻辑编程的事情？

[1] 到目前为止，我只找到一篇博客文章提到了在 Metalua 中编写一个可能的逻辑编程模块，但我更希望看到一个与标准 Lua 兼容的模块。

原文链接 https://stackoverflow.com/questions/9339812

点赞
stackoverflow用户936986
stackoverflow用户936986

逻辑编程是一种范式，因此只是一种特定语法形式，在其中您可以声明某些事实，并将结果基于这些事实的逻辑方程式，而这些事实本身可能是其他方程的结果。

Lua并没有专门为此而设计，但是您可以通过将所有逻辑编程运算符定义为函数（例如function and（...），仅在其所有参数为true时返回true等），并将您的“事实”定义为带有由元表提供的惰性评估的表来轻松模拟这种行为。

2012-08-28 16:01:26
stackoverflow用户975097
stackoverflow用户975097

有一个名为lua-faces的Lua前向链接推理引擎。除了MiniKanRen之外，还有几个JavaScript逻辑编程系统，可以使用Castl自动转换为Lua。

我也写了一个转换器，将Lua的子集转换为Prolog。给定这个输入：

function print_each(The_list)
    for _, Item in pairs(The_list) do
        print(Item)
    end
end

它将在Prolog中产生以下输出：

print_each(The_list) :-
    forall(member(Item,The_list),(

        writeln(Item)
    )).
2016-08-13 23:20:05
stackoverflow用户487993
stackoverflow用户487993

将下面翻译成中文并且保留原本的 Markdown 格式

Would ASP be helpful? https://potassco.org/

Check section 3.1.14 of the manual https://github.com/potassco/guide/releases/download/v2.1.0/guide.pdf

这个问题可以参考 https://potassco.org/ 中的 ASP，也许会有所帮助。

请查看手册的第 3.1.14 部分，手册下载链接：https://github.com/potassco/guide/releases/download/v2.1.0/guide.pdf。

2018-11-26 11:21:49

作者:

stackoverflow用户626431

stackoverflow用户626431
推荐文章