问题标签 [gnu-prolog]

我正在学习 Prolog，在 Mac OS X 上使用 GNU Prolog。我在交互模式下收到以下错误：

但是between/3应该是一个内置的谓词，我想。为什么会发生这种情况，我该怎么办？谢谢！

我正在尝试学习 Prolog。我已经在我的 Mac 上安装了 Gnu Prolog 1.4.4。我直接按照Gnu Prolog 手册第 4.2.3 节“咨询 Prolog 程序”中给出的示例进行操作，但我没有得到预期的结果：

当我使用带有我的定义的外部文件时，我得到了相同的（坏的）结果。知道出了什么问题吗？谢谢。

对于 prolog 中的许多不同默认函数，我一直遇到存在错误（我正在使用 gprolog）。例如...

我需要安装其他东西吗？

本质上，我正在尝试找到一种定义全局变量的方法。我认为这样的事情可能是最好的方法......

然后调用我将使用的“全局变量” fact(List)。

我正在拔头发！我已经在我的 Mac 上安装了 gprolog（1.4.4），并且我正在遵循（我认为）Gnu Prolog 手册中的说明，但是交互式环境不记得我的定义：

从交互式响应中可以看到，我在知识库输入的第二行之后输入了 Ctl-D（我唯一的规则）。Gprolog 说它已经编译了我的三行代码。为什么它不能正确识别我的查询？谢谢！

在编译和运行下面的代码 ( pl_check_input.pl) 时，我user directive failed在“：-初始化...”行中得到

如果我删除违规行

任何见解都将受到欢迎。

最终，我让这段代码从 运行REPL，但我想把它放在一个 linux 管道脚本中，并删除顶级/0 附带的各种横幅行。

我正在尝试学习 Prolog 的基础知识，并使用以下代码继续遇到存在错误。

在执行诸如 does_come_after(m1, m3) 之类的查询时，我不断收到以下错误。

这是显示错误的屏幕截图：

序言错误

我做错了什么，我应该记住什么以避免将来出现这些错误？提前致谢。

我在 Prolog 中写了一个快速谓词来尝试 CLP(FD) 及其求解方程组的能力。

当我在 SWI 中调用它时，我得到：

而在 GNU 中，我得到的正确答案是：

这里发生了什么？理想情况下，我希望在 SWI 中获得正确的结果，因为它是一个更强大的环境。

我是 prolog 的新手，想用 prolog + java 编写 wampus AI，尝试在 java 中的 prolog 和 GUI 中执行逻辑，但我卡住了，而且水平非常基础。

基本上我的知识库中有这样的东西

我想知道谁是莎拉的父母（父母（X，莎拉）），但我不能，因为我无法定义莎拉这个词！我可以定义诸如

但是 sara -string/atom- Term 没有一个（实际上有和 atom 但它是受保护的）。我觉得我在网上自学中错过了一些非常基本的东西。我已经多次浏览 gnu 的 prolog 文档，但我找不到我的答案

PS：在 IntelliJ Idea IDE 上工作

更新 1：

我搬到了 swi-prolog (jpl)，所以我可以在那里完成我的工作，但在将 lib 添加到我的 java 项目后，我什至无法运行代码，修复了 2 个错误，但它只是一个接一个的错误（目前卡在 java：包 org.jpl7 不存在）和 google/stackoverflow 解决方案将不起作用

我试图回顾一下我在本学期早些时候在 GNU prolog 中编写的一些代码。我移动到所在的目录。文件名是 Project3_Name.pl 我先输入：

它编译离开这条消息

然后我尝试这行代码

然后它只是向下移动到一个空行并且根本没有响应。我根本没有弄乱该文件，因为我最初正确运行它并且我现在没有收到错误消息。

我正在尝试在 prolog 中运行此代码以解决 nurikabe 难题，但我收到此错误Predicate fd_domain/3 not defined

我试图确保最终得到一个包含以下内容的解决方案：

代表海的单元格 -> 水平和垂直连接且不形成 2×2 块

代表岛屿的单元格 -> 每个岛屿都是孤立的，岛屿之间没有水平或垂直连接

我正在使用 swi-prolog

谜题的链接https://en.wikipedia.org/wiki/Nurikabe_(puzzle)

代码：