我在 Ubuntu 20.04 上编译 YAP Prolog 6.2.2 时遇到问题。 像往常一样，按照自述文件，我浏览到 YAP 文件夹并给出成功的命令./configure 。 接下来，我给出命令make但它给了我这个错误： 我已经安装了 README 文件中建议的库（gmp 和 readlin ...
当我尝试编译 prolog 文件时，在带有 prodt 插件的 eclipse 中，它给了我这个错误： 该项目不是我创建的，但它是一个大学项目，我不知道在哪里可以找到这个库，它似乎来自YAP。 我使用 SWI Prolog。 有没有办法解决这个问题？ ...
我想在我的 Mac（macOS 10.13 High Sierra）上安装 yap，但我不能使用 Howebrew。 我试过命令 但我得到了错误 知道我能做什么吗？ ...
我有以下测试代码试图将文件读入列表 由于文件非常大，我将省略部分输出。 它适用于yap ， 但是在swi-prolog ，它会产生Type error 这里的错误可能是什么问题？ 文件raw250-split1.pl可以在下面的ftp url中找到，如果您想尝 ...
我想从我的（yap）prolog脚本运行一个（python3）进程，并读取其格式为整数列表的输出，例如[1,2,3,4,5,6] 。 这就是我做的： 但是，它在read / 2谓词时失败并出现错误： 我确信我可以正确运行该过程，因为使用[stdout(std)]参数给pro ...
我是yap新手（通常是Prolog的人），我不知道如何获取当前目录。 实际上，我无法理解这些文档： working_directory(-CurDir,?NextDir) 在CurDir处获取当前目录。 如果NextDir绑定到原子，则将其值设为当前工作目录。 ...
这是一个特定的问题，但是，我无法在 Fedora 23 中使用 cmake 和 make 来编译 Yet Another Prolog。在 Github 上克隆了最新的存储库 YAP 6.3.4。 我的朋友在他的 Funtoo Linux 上的相同克隆上成功运行了 cmake 和 make。 当我在 ...
尝试创建列表理解。 我在这里使用的是SWI Prolog和Jekejeke Prolog的作品，但是[<-]运算符在Yap中失败。 无法弄清楚原因。 必须创建之间/ 3，findall / 3和maplist / 2，因为它们不属于Yap。 我相信这三个自制谓词都可以正常工作（ ...
使用YAP执行以下Prolog程序时，输出始终相同，即整数233。 例如，如果我执行以下bash脚本，则输出始终是相同的整数（233）。 如果我使用swipl重复此过程，则每次输出都不同，即随机。 有谁能解释一下？ ...
任何人都可以解释为什么以下YAP代码不会导致变量Result与time_out统一？ 根据文档 ，谓词应该如下工作： time_out(+Goal, +Timeout, -Result) 执行Goal具有时间限制Timeout Goal ，其中Timeout以毫秒为单位 ...
我在序言中遇到一些问题，特别是我无法将谓词的值与常量进行比较。 运行程序： 为什么不起作用？ 谢谢您的回答。 ...
下面的程序noMetagolR给出： http://www.doc.ic.ac.uk/~shm/Papers/metagol_gram.pdf第33页。 查询示例： 答案替换应返回学习到的语法奇偶校验。 据说该程序在Yap中运行。 我通常使用SWI-prolog。 ...
我正在尝试在我的 PC 上编译 yap，因为似乎 YAP 默认安装程序没有启用深度限制标志。 我需要这个来处理 Aleph 的 ILP 项目。 问题是，我被迫使用装有 Windows 8 的 PC，但没有足够的内存用于 Linux 虚拟机。 我让 cygwin 尝试安装它，但是一旦我进入安装的“制 ...
我需要（用于设计选择）以获得尊重以下模式的列表： 我能够建立名称/数字模式来做： 其中rule是内部事实，而Ux是列表。 我可以使用'/'快捷键轻松地转义斜线，但是将（P / A）放在引号之间怎么办？ 怎么办 请帮我。 ...
我正在使用yap。 假设我有这种情况： p（x，y）：-q（x），f（x，y），g（x）。 我需要使用命令listing（p）将谓词的主体放在列表中。 预期输出应为：[q，f，g]。 我该怎么做？ ...
哪个是处理两个不同Prolog解释器之间兼容性的最佳方法？ 我已经阅读了这个问题及其答案，但我正在寻找的是一种处理不同定义的谓词的方法（即SWI中的删除不是变量明智的，而在YAP下是删除的）和新引入的谓词（即remove_duplicates不是存在于SWI中的库（列表）中。 目前我正在 ...
我想找到一种方法来分析我在prolog中编写的谓词（一个巨大的）的内存使用情况。 我现在用swi和yap运行它，我可以从这些进程看到内存消耗，分配了大块内存。 问题是当谓词终止时它不会被解除分配/释放/垃圾收集（我必须停止解释器才能看到它）加上内存量只在谓词运行时保持增长 （自从它尾部以 ...
（我只是 GMP 库的间接用户，主要通过swi-prolog和yap 。但我对解决这个问题非常感兴趣。） 当用大得离谱的值执行幂运算时，主机系统或 GMP 不再能够适当地处理溢出。 我已经与上述系统的开发人员进行了交谈，但他们认为解决这个问题并不容易。 其他 GMP 系统/用户是否知道这个问题 ...
我刚刚在VMBox中安装了ubuntu 12.04，现在尝试安装“ YAP Prolog”。 因此，我使用“ git clone ...”下载了代码，并获得了必须配置和构建的代码。 在OSX上进行配置和构建工作正常，但是在Linux发行版上以某种方式在配置过程中出现错误。 我不懂，也找不到 ...