问题标签 [church-pl]

有人使用过编程语言Church吗？任何人都可以推荐实际应用吗？我刚刚发现了它，虽然它听起来像是解决了人工智能和机器学习中的一些长期存在的问题，但我对此表示怀疑。我从未听说过它，并且惊讶地发现它实际上已经存在了几年，并已在论文Church: a language for generation models中宣布。

有没有人让 Church 编程语言在 Windows 上工作？我按照此处的说明进行操作，但无法以任何明显的方式运行本教程中的示例。我使用了 ikarus，尽管如果有明确的方法可以使用 PLT Scheme（现在的 Racket），我会非常满意。

例如，虽然我能够运行

在安装说明结束时，我无法运行包含

这是MIT-Church 入门部分中的第一个示例，如果我运行为

或作为

我发现如果我滥用我的标题看起来像测试套件，我可以运行类似这个特定示例的东西，但这不适用于该部分中的一些进一步示例。

通常我会怀疑我这边的库路径不好，但回声看起来不错：

并且，如前所述，测试用例运行。

我已经在讨论页面中询问了这个问题，以便在他们的 Wiki 上进行安装，我会看到两个论坛的结果都会被交叉发布。

我试图使用以下命令从 R 中调用 Cygwin：

在 Cygwin 中，我尝试调用另一个程序（Church）。调用位于 testfile2.txt 中，如下所示：

但是，我收到以下错误消息：

谁能解释我，如何处理这个问题？

谢谢，大卫