标签： haskell logic-programming curry
我在维基百科上找到了Curry。它说库里几乎是一个超集但不是因为缺乏某种东西。
我希望看到它支持整个Haskell。他们是否打算将Haskell作为Curry的一部分实现？