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

Question

我正在尝试使用Swi-prolog工作Aleph。如果我有一个名为train.pl的文件（包括背景和正面和负面的例子），有没有人可以告诉我如何运行这个程序。我能做些什么来诱导我的程序并获得输出？顺便说一下，我已经为我的程序下载了Aleph.pl.当我运行它时，它显示如下： 错误：c：/users/mac/downloads/aleph.pl:97：         错误的上下文：arithmetic_function / 1只能在指令

中使用

Answer 1

我也有类似的问题。但是，经过一番谷歌搜索后，我发现了一个github repository，其中包含实际起作用的aleph脚本（prolog/aleph.pl）。但是，手册可能会更详细（至少对于像我这样的新手而言）。我设法运行的一个最小的工作示例是火车示例（prolog/examples/train.pl），并且执行了以下操作：

1. 将aleph.pl脚本放入某个目录path/to/dir
2. 将train.pl脚本放入同一目录。
3. 一一执行以下命令：
   • 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))