问题标签 [aleph-ilp]

我正在尝试在我的 PC 上编译 yap，因为似乎 YAP 默认安装程序没有启用深度限制标志。我需要这个来处理 Aleph 上的 ILP 项目。

问题是，我被迫使用装有 Windows 8 的 PC，而没有足够的内存用于 Linux 虚拟机。我让cygwin尝试安装它，但是一旦我进入安装的“make”阶段（http://www.dcc.fc.up.pt/~vsc/Yap/Yap4.3/yap.html# SEC2 ) 我收到以下错误

我认为这是由于最新的 YAP 现在已经过时了，有谁知道如何解决这个问题？

在 C# 应用程序中，我想使用 Aleph 来构建理论。

以下在 SWI-Prolog 中起作用：

但在 C# 中，这些命令不会：

我收到以下错误 PlQuery.PlCall("assert(read_all(datainput))")：

我该如何解决这个错误？

我试图让 Aleph 工作并得出一个简单的理论：祖父母（X，Z）：-父亲（X，Y），父亲（Y，Z）。但是我得到了一个原子（例如祖父母（john，johnJuniorJunior））。希望有人可以提供帮助。请注意，SWI 的 Aleph 使用单个文件作为输入。干杯/JC

我的程序：

我的输出：

我正在尝试使用 SWI-Prolog 导入 Aleph。当我运行我的程序时，我收到以下错误。我需要做什么才能导入library(aleph)？顺便说一句，我已经aleph.pl为我的程序下载了。这是我的测试程序，我知道库 aleph 一定有问题。

我得到了错误：

当我尝试将 aleph 安装到 swiprolog 中时，出现以下错误。我做错什么了吗？

我现在正在研究一个用于预测下一个整数的系统（ALEPH），并且需要引入真正的整数序列来测试它。这是我在 aleph 中的序言编程之一，以诱导斐波那契序列理论：

这是我的 aleph 归纳规则（以斐波那契数列为例）。Aleph 将向我展示关于下一个数字的理论（这里我使用 4 个数字来预测第 5 个数字）。

我的问题是如何将第 5 个数字作为输入数字，然后使用第 5 个数字预测第 6 个数字，就像循环一样。我的老师说我需要做一个接口来导入数据来测试它。我想知道prolog中有没有接口？我需要学习 Python 等其他语言来调用我的 prolog 程序吗？

我目前正在Aleph做我的 Symbolic AI 作业，我已经做了好几个小时了，但我仍然在我刚开始的地方，我希望你们中的一些人可以帮助我或给我提示。

所以第一个练习是查看 Aleph 中实现 member/2 的递归示例并检查它是如何工作的，我认为，我理解：

内存.b：

下一个练习是为另一个递归问题实现一个 Aleph 算法，例如 rev/2 或 append/3，我尝试了几个小时，但我真的不知道如何开始或做什么。这是我目前的实现方式：

rev.b （我尝试了很多东西，现在把所有东西都注释掉了，但是我真的很困惑 atm）：

如果有人想看我的正面和负面示例文件，请告诉我，但我认为主要问题在背景知识文件中，我不太了解它，tbh。有没有人有任何提示/提示/帮助？

我想使用 Aleph 来获得 SWI-Prolog 的理论。我的操作系统是 MacOS 10.15。

这是我的输入文件：

我的步骤是：

我怎样才能得到输出理论？

我正在尝试将 Aleph 与 SWI-Prolog 一起使用来构建一个理论。但结果似乎不正确。

我的序言文件是：

我的输出是：

我想要的是：

aleph 似乎没有用。我不确定哪个部分不正确。也许是模式声明？还是决心部分？但我不知道如何纠正它。

我厌倦了用 Aleph 来获得一个理论，但我只有一个头和一个身体，实际上我想要更多的身体。

我的输入文件是：

我的输出是：

我想要的是：

现在只有一具尸体，但我想要三具。并且有'attribute（A）'作为一个主体，如何只用一个变量添加这样的东西？