mni*_*cky 9 lua logic-programming
有没有办法 在Lua中进行逻辑编程(想想Prolog)？
特别是:有没有用于逻辑编程的Lua模块(miniKanren实现将是最好的,但并不是严格要求的)？因为我找不到任何[1].如果没有,是否有任何已知的(最好尝试过)如何在Lua中进行逻辑编程？
另外:有没有人试图在Lua中做类似逻辑编程的事情？
[1]到目前为止,我发现只有博客文章提到在Metalua中写一个的可能性,但我宁愿看到一个兼容标准的Lua.
逻辑编程是一种范式，因此只是特定语法的一种形式，您在其中陈述一些事实并将结果基于这些事实的逻辑方程，而事实本身可以是其他方程的结果。
Lua 并不是专门为此设计的，但是您可以通过将所有逻辑编程运算符定义为函数来轻松模拟这种行为 - 即仅当其所有参数为 truefunction and(...)时才返回true，等等，并将您的“事实”定义为具有惰性的表由元表提供的评估。
| 归档时间： |
|
| 查看次数： |
2265 次 |
| 最近记录： |