哪一个更有趣或更强大:库里，水星或Lambda-Prolog？

Question

我想问你什么正式的系统可以更有趣地从头开始实现/逆向工程。

我查看了一些现有的逻辑/声明式编程系统的开源项目。我已经决定在我的空闲时间做一些类似的事情，或者至少是为了抓住实现的大意。

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

你建议至少在概念层面上研究什么？例如，Lambda-Prolog特别有趣，因为它允许更高阶的关系，但AFAIK基于直觉逻辑，因此缺乏排除中间原则；这对我来说通常是一个缺点。

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

Answer 1

Prolog是第一种改变了我对编程观点的语言。但后来我发现它并不像我想看到的那样高层次。

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

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

Answer 2

Twelf。

它极大地概括了lambda-prolog，它是一种逻辑框架和元框架，也是一种逻辑编程语言。如果你需要一种专注于逻辑和计算的语言，这是我所知道的最好的语言。

Answer 3

如果我要扩展一个基于逻辑的系统，我会选择Prolog Cafe，因为它很小，开源，符合标准，可以很容易地集成到基于java的系统中。