SWI-Prolog是Prolog的开源实现，可在Unix，Windows和Mac上运行。
我尝试使用op / 3在文件中定义运算符。像这样is_in（事，地方）： - 位置（事，地方）。 op（35，xfx，is_in）。但是当我在repl中查询/ 1文件时，我得到一个例外没有权限......
如何在不按空格键的情况下查看SWI-Prolog中的所有答案？
简单的例子：？ - （1,10，X）之间。 X = 1; X = 2; X = 3; X = 4; X = 5; X = 6; X = 7; X = 8; X = 9; X = 10.当使用SWL-Prolog使用REPL查看下一个答案时...
逻辑编程的良好语言应该允许程序员使用接近数学家使用的语言的语言。因此，我一直认为缺乏适当的普遍性......
我正在做一个项目，我需要识别特定的字符串并将它们添加到列表中。我使用这种方法将它们插入特定位置：insertAt（E，N，Xs，Ys）： - same_length（[E | Xs]，Ys），...
maxmin（[X | L]，Max，Min）： - maxmin（L，X，X，Max，Min）,! maxmin（[]，CurrentMax，CurrentMin，Max，Min）： - Max是CurrentMax，Min是CurrentMin，！。 maxmin（[X | L]，CurrentMax，...
我有兴趣玩prolog，我已经安装了swi-prolog并添加了存储库，以防万一有人对我使用的哪个命令感兴趣：％sudo apt-add -...
我试着让工作成为一段打开http连接的代码。然而，网页可能会转换为纯文本或gziped。结果，实用主义的代码试图打开纯文本和...
我有一个语义网络，具有以下层次结构：Person：has body = true Man：是Person，height = 170 Sport Star：是一个Man，height = 190然后我想创建这些实例，例如： 。
使用prolog将文本文件转换为列表。使用split_string谓词
我试图使用split_string / 4谓词将字符串转换为字符串列表。我希望每个换行符分隔字符串。这是我的代码看起来像main（Argv）： - [InputFilename | ...
我试图使用string_chars / 2将字符串列表转换为嵌套的字符列表。我想我需要使用maplist / 2来实现这一点，但我不确定为什么它不起作用。这是个 ...
我想用Prolog证明一些定理，然而，它总是返回“Out of global stack”
我正在做代数中证明群论的AI作业。该定理可表示如下：A1。 i（e，X）= X（同一性）A2。 i（X，e）= X（同一性）A3。一世（...
我是Prolog的新手，我无法弄清楚为什么当我查询程序时，它们告诉我程序是未定义的，当它们看起来是定义的时候。这段代码是由我的导师给我的，我...
我正在使用CLPFD库在SWI Prolog中解决调度任务。由于这是我第一次解决比sendmory更严重的事情，我可能需要一些更好的建议......
有没有办法强制prolog CLI只返回我感兴趣的变量的查询结果？一个简单的例子是：？ - 母亲（M，C1），父亲（F，C1）。它返回所有M的绑定，...
我想在Prolog中创建一个可变数量的线程，并使主线程等待所有线程。我试图在谓词中为它们中的每一个进行连接，但看起来它们......
如何隐藏模块或整个包以进行跟踪。我有这个查询，我想逐步完成它，但我对CLP（X）的作用不感兴趣，只是在我的查询中出现了什么问题。 ？...
所以我必须实现一个ADT，在这种情况下是SWI-Prolog中的哈希表。我需要帮助，因为我是这种编程语言的新手，并且不知道如何开始。这开始是......的实施
我的问题与这个问题有关。我希望将以下prolog代码嵌入到python程序中：myEquation（A，B，C）： - var（A），number（B），number（C） - > A是B + C;变种（B），数（A），...
我想自动调用文件中的查询列表：file queries.txt consult（uwr）。 submit_emit_timers（1）。 activate_game（1，底特律，3，柏林，1）。 submit_emit_timers（1）。 start_game（1）。睡觉（...