prolog - 还有什么更有趣或更强大的功能: curry ， Mercurial 或Lambda-序言？

Question

我想问您一个从零开始/逆向工程师实现什么样的正式系统会更有趣。

我研究了一些现有的逻辑/声明式编程系统的开源项目。我已经决定在业余时间做一些类似的事情，或者至少要捕获实现的总体思路。

如果其中一些系统能够提供现代学术研究在逻辑及其与计算模型的关系中的大多数表现力和简洁性，那就太好了。

您建议至少在概念层面上学习什么？例如，Lambda-Prolog特别有趣，因为它允许更高阶的关系，但是AFAIK基于直觉主义逻辑，因此缺少排他的中间原则。这对我来说通常是不利的。

我也欢迎关于现代逻辑编程系统的任何建议，这些建议不太流行，但更具表现力/功能。

Answer 1

Prolog是第一种改变了我对编程的看法的语言。但是后来我发现它并不像我希望看到的那样高级。

curry -我只尝试过Munster CC，发现它有点不方便。实际上，在这一点上，我决定不再忽略Haskell。

水星有许多我想在Prolog中看到的东西。我对区分规则模式的可能性抱有很好的期望。用Mercury编写的程序应该启发编译器进行很多优化(我想)。