为什么我不能在这个Prolog查询中从长度中获得值？

文章/答案/技术大牛

发布

1回答

、

在我的.pl文件中有类似这样的内容：path_length(A, B, length(L, size)) :-...当我这样做的时候：我得到了：但我希望查询返回的是：我做错了什么？我显然是Prolog的新手，所以很抱歉，如果这个问题是低级的，答案对一些人来说是显而易见的。

浏览 5提问于2016-09-25得票数 1

回答已采纳

1回答

Python:是否有一种方法可以使swipl查询的值为true而不是{}？

、、、

要在python中调用prolog程序，需要使用libary pyswip。 ?-爸爸(A)。是真的。如果我在python中尝试使用相同的方法：from pyswip import Prolog p

浏览 7提问于2021-12-19得票数 0

回答已采纳

1回答

统一算法实际上是如何工作的？

、

我有这个Prolog代码：bar(c).此查询：如果我有这个程序，这有点不同：bar(b).在同一个查询中为什么它会回来false

浏览 3提问于2022-03-05得票数 1

回答已采纳

1回答

获取prolog中字符串的第一个N个字符

、

我试图得到字符串的第一个N个字符。从下面的问题中我了解到我可以用我将很高兴有一个链接或解释如何发挥这一功能。此外，在下面的示例中，我将很高兴获得帮助:如何获得"prolog/a“中"/”之前的所有字符，这些字符的工作方式如下： sub_ato

浏览 1提问于2017-11-05得票数 2

回答已采纳

2回答

Prolog中的"false“和"no”有什么区别？

、

我开始在一书之后学习Prolog。在语言简介的第7页，他们断言：“在Prolog中，答案no被用来表示没有任何东西与问题统一。重要的是要记住，no与false不一样。”那么为什么SWI-Prolog使用false和true语句而不是yes或no呢？

浏览 1提问于2015-07-01得票数 7

1回答

Prolog:满足目标的变量实例化

、

梅利什，Clocksin在Prolog (2003)中阅读时出现了问题。例如，在使用跟踪时：alter([is, very, cool], ????tail of Z 似乎新的Y将取Z尾部的值，

浏览 1提问于2017-01-03得票数 1

回答已采纳

1回答

SWI Prolog转义引号

、、

我需要在prolog中的字符串两边加上“”。我从另一个程序获得输入，看起来我不能在这个程序中转义“，所以我必须在prolog中添加”，否则prolog语句不起作用。谢谢你的帮忙!

浏览 0提问于2014-10-22得票数 2

2回答

Prolog和回溯的局限性

这可能是返回Prolog中列表长度的函数的最简单的实现。count([_|B], T) :- count(B, U), T is U + 1.关于Prolog，我仍然无法理解的一点是使用变量作为参数的灵活性。例如，我可以运行count([a, b, c], 3).并获得true。奇怪的是(至少对我来说)我还可以运行count(X, 3).并得到至少一个结果，在解释器消失为无限循环之前，

浏览 12提问于2016-03-26得票数 6

回答已采纳

1回答

处理二维数组和未绑定变量的Prolog

我熟悉java语言，但我很难理解prolog语言。我想要创建一个函数矩阵(N，M)，只有当M是N的2D数组时才能返回true &M中的每个单元格都包含一个无界变量。而且，我也不知道什么是未绑定变量&如果我希望每个单元格包含一个特定的序列，我的方法会有什么不同。任何帮助都将不胜感激。

浏览 1提问于2019-02-22得票数 0

回答已采纳

2回答

如何在Prolog中将变量设为空？

我想在Prolog中清空一个用过的变量。例如，我想这样做：而是用Prolog。我该怎么做呢？

浏览 0提问于2011-12-07得票数 3

1回答

我有一个需求，比如将大量数据从visual prolog端插入到oracle数据库中，而且最重要的是，所有数据都需要通过一个存储过程调用注入。我尝试过将数据作为字符串值进行传递，但在visual prolog中有一个限制，比如字符串变量的长度不能超过'250‘个字符。因此，将它们作为字符串传递对于我的要求是不可行的。因此，我尝试使用term_str()以prolog list的形式传递数据

浏览 2提问于2012-03-08得票数 1

2回答

输出显示类似Atom或变量的类型，而不是变量的实际值(pyswip在python中)。

、

我正在运行python程序，它是exectuing查询(使用pyswip库)，问题是我没有在输出中获得变量的值，而是得到它的类型，比如带有某个地址的Atom/变量。这是密码，swipl = Prolog()swipl.assertz('(fun(X) :-('car(Which

浏览 10提问于2020-06-26得票数 1

回答已采纳

3回答

如何解析地理查询程序中的自然语言问题？

、、

我发现程序可以回答一些简单的问题，但我找不到任何演示或如何处理问题的说明。[what,is,the,shortest,river,?]

浏览 5提问于2020-05-19得票数 1

回答已采纳

3回答

Prolog中的不同谓词，不工作(总是false)

我正在使用SWI为大学考试学习Prolog，对于这个实现不同的谓词的简单程序，我有一些疑问，如果两个元素不同(如果它们不匹配的话)，则声明为TRUE，如果它们匹配，则说FALSE。问题是，如果我试图在Prolog shell中执行以下查询，我总是获得FALSE：false. [debug] 11 ?如您所见，第一个查询

浏览 0提问于2013-04-09得票数 3

回答已采纳

1回答

plld Prolog* C++*

、

我有一个很大的Prolog程序，里面有很多谓词。我需要从C++ (VS2008)连接到这个Prolog代码以获得某些查询结果。因此，我并不打算将Prolog作为一个逻辑引擎嵌入到C++中，而是为了让我的C++程序连接到我的Prolog代码，查询(编译)它，获得查询结果，并将它们传递回C++。在VS2008命令提

浏览 1提问于2010-04-02得票数 1

回答已采纳

3回答

是否有一个库/技术来收集统计信息，以便在Prolog中进行最佳子句排序？

、、、、

我正在编写一个程序，其中我需要查看字符串是否与特定模式匹配。现在我已经把它作为规则matchesPattern(S)用Prolog实现了，有超过20种不同的定义。最后，我通过模式检查谓词来运行所有长度为一定长度的二进制字符串。程序相当慢(就像Prolog经常的那样)，由于有这么多不同的定义，理想情况下我想对它们进行排序，以便最匹配的在排序中是最早的，因此Prolog首先匹配，尽可能

浏览 15提问于2012-06-14得票数 4

1回答

swi-prolog和yap的不同结果

、、、、

查询：swipl返回92，而yap返回40320。另外，当我查询solve(P)时，swipl只返回两个解决方案(这也与92相矛盾)；yap返回的更多(可能是其中的40320 )。那为什么会有区别呢？有这么严重的兼容性问题吗？

浏览 5提问于2017-11-10得票数 7

回答已采纳

1回答

IIS7在GET请求上返回400个错误请求

、

我在IIS7上安装了农场。当我发送长长度get请求时，它会从IIS获得HTTP 400错误。查询字符串的长度为50到8192个字符。查询字符串中参数的长度值为1到4000字符。如何在IIS上解决这个问题？

浏览 0提问于2012-08-11得票数 0

1回答

用PySwip从python中查询Prolog数据库

、

我已经用Prolog写了一个程序，我想用python访问它的结果。我曾尝试使用pyDatalog编写代码，但遇到了一个我无法解决的问题。现在我尝试使用PySwip，因为它允许我查阅我已经创建的数据库。下面是我的知识库的样子。如果我在SWI-Prolog中查询comb(O,[],a,b).，结果是O = ['-w2', &#x

浏览 1提问于2019-07-26得票数 1

1回答

SWI中的CLPFD --与Java的Prolog接口

、、

我正在尝试使用JPL将查询从Java传递给SWI-Prolog(CLPFD)。在Java中运行程序时，我得到了以下异常。(Util.java:163)在jpl.Query。(Query.java:198) 正如您所看到的，我的java程序生成的查询是从1..5/ 10 /12的范围并集，但SWI-Prolog将其视为1..5 /10/ 12。

浏览 0提问于2014-04-22得票数 1

点击加载更多