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

Question

我在试着用Swi-prolog和Aleph合作。有没有人可以告诉我如何运行这个程序，如果我有一个名为train.pl的文件(包括背景和正反两个例子)。我能做些什么来引导我的程序并获得输出？顺便说一下，我已经为我的程序下载了Aleph.pl。当我运行它时，它显示如下:错误:C:/users/mac/downloads/alef.pl:97:错误的上下文:算术函数/1只能在指令中使用

Answer 1

我也遇到过类似的问题。然而，经过一些谷歌搜索后，我发现了一个包含实际工作的aleph脚本的github repository (prolog/aleph.pl)。然而，手册可以更详细(至少对于像我这样的新手)。我设法运行的一个最小的工作示例是trains示例(prolog/examples/train.pl)，我执行了以下操作：

通过以下命令，将

1. 将aleph.pl脚本放入某个目录中，并将train.pl脚本放入相同的directory.
2. Executing中：
   • working_directory(_, 'path/to/dir').
   • consult('aleph.pl').
   • consult('trains.pl').
   • induce.

：

我忽略了在执行命令consult('trains.pl').时出现的一些错误和警告

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))