如何使用Swi prolog运行aleph程序？

我正试图与Swi prolog合作Aleph。如果我有一个名为train.pl的文件（包括背景和正反两方面的例子），有人能告诉我如何运行这个程序吗？顺便说一下，我已经为我的程序下载了Aleph.pl。当我运行它时，它显示如下： 错误：c:/users/mac/downloads/aleph.pl:97:

---

上下文错误：算术函数/1只能用于指令

我也有类似的问题。然而，在谷歌搜索之后，我发现了一个包含实际工作的aleph脚本（

prolog/aleph.pl

）。然而，手册可以更详细（至少对于像我这样的新手来说）。我设法运行的一个最小的工作示例是trains示例（

prolog/examples/train.pl

），我做了以下工作：

将

aleph.pl

脚本放入某个目录

path/to/dir

将

train.pl

脚本放入同一目录

逐个执行以下命令：

• 工作目录（'path/to/dir'）。

• consult（'aleph.pl'）。

• 咨询（'trains.pl'）。

• 诱导。

我忽略了执行命令时出现的一些错误和警告

consult（'trains.pl'）。

：

---

aleph项目在哪里？第97行和相邻行中有什么？我从这个链接下载了aleph.pl：这是一个10000多行的程序，我们不会为您调试它。我想知道我从官方网站下载了Aleph，为什么会有这样的错误？你从哪里得到的艾力夫？我没有。如果你不知道它是否是官方版本，你最好联系作者。

ERROR: path/to/dir/train.pl:16:
ERROR:    source_sink `library(aleph)' does not exist
Warning: path/to/dir/train.pl:16:
Warning:    Goal (directive) failed: user:use_module(library(aleph))