为什么gnu prolog不支持"假"谓词？(我换成了swi)
GNU Prolog是一种基于Prolog语言的开源编译器和解释器。它遵循Prolog的基本语法和语义，但在某些方面与其他Prolog实现略有不同。关于为什么GNU Prolog不支持"假"谓词，以下是一个完善且全面的答案：
在GNU Prolog中，"假"谓词是指在规则匹配过程中，当规则的前提条件无法满足时，谓词返回"假"或失败。与其他Prolog实现不同，GNU Prolog选择了一种更严格的语义，即它不允许在规则中使用"假"谓词。
这种设计决策是为了确保GNU Prolog的程序具有更高的可靠性和确定性。通过禁止"假"谓词的使用，GNU Prolog鼓励开发者编写更加健壮和可靠的程序，避免了潜在的错误和不确定性。
尽管GNU Prolog不支持"假"谓词，但开发者仍然可以通过其他方式实现类似的功能。例如，可以使用条件语句或其他Prolog的内置谓词来处理特定的情况，并返回相应的结果。
在实际应用中，GNU Prolog适用于各种领域的问题，包括人工智能、专家系统、自然语言处理、逻辑推理等。它提供了丰富的库和工具，使开发者能够快速构建和测试Prolog程序。
如果你对GNU Prolog感兴趣，可以访问腾讯云上的GNU Prolog产品页面（https://cloud.tencent.com/product/gpl）了解更多信息。腾讯云提供了GNU Prolog的云服务，可以帮助开发者轻松部署和管理Prolog应用程序。
相关·内容
我一直在用gprolog做一些用prolog写的事情。但是现在当我测试更多的代码时，我发现它不支持"false“。swi支持哪一项？
浏览 0提问于2010-11-12得票数 4
3回答
我正试图第一次把我的大脑围绕着Prolog (SWI)，我正在为我确信的基本知识而奋斗。我试着用“饼”这样的字符串打印出北约的军事拼法，看上去像这样：India目前，我只是在验证我是否正确地使用了H_。我的职责是：
spellWord(String) :- String = [H|T], writeChar(H), spellWord(T)
浏览 7提问于2016-04-13得票数 8
回答已采纳
3回答
我正在学习一些Prolog教程(没有更好的事情可做，这周早些时候我发现我很喜欢编程，所以我正在做一些范例)，并完成了一个练习，要求我写一个谓词delete_ from _ list /3，它从列表中删除所有给定的事件我解决这个问题的方法如下：delete_from_list([Ah|At], X, [Ah|Bt]) :- Ah \= X, !我想知道的是，这可能更具美感，而不是实用的
浏览 5提问于2011-03-06得票数 5
回答已采纳
刚刚在我的W8机器上安装了SWI，它会抛出一个错误。以下是错误：假设我的prolog源文件包含一个事实：因此，我编译了缓冲区，并获得：
...我得到上面的错误，而不是假。有人能告诉我这是怎么回事吗？
浏览 2提问于2013-11-18得票数 0
回答已采纳
我正在将语言数据形式化成谓词和实体，并用prolog进行一些推理。想象一下，我是这样开始的：sleep(X) :- snore(X).live(X) :- breathe(X我的数据可以变得足够大，我想要获得一个实体和谓词的列表，以便迭代它们并检查一个实体验证了多少个谓词，输出可以是如下列表：
[john, [snore, breathe, sleep, re
浏览 5提问于2021-05-31得票数 3
在swi中从shell调用中请求，并得到了对查询进行手动转换的答案，即是一次写入。，但是它不太好用(我无法检测它何时完成了结果的编写，因此它只是挂起，并且没有新行分隔答案)：father(X,Y), saysOhNo(Y).为了始终给出正确的结果，我们需要为prolog编写一个解析
浏览 3提问于2012-08-01得票数 3
回答已采纳
我对Prolog非常陌生，对它的理解也有一些困难。我有一些名为“problem”的事实，我希望先将这些事实打印给用户，然后让他们输入一个值，然后读取并使用这个值。以下是我到目前为止所得到的，任何解释都将不胜感激
我的问题是:如何读取用户关于问题的输入，并将其应用到变量中以供以后使用？
浏览 0提问于2018-11-15得票数 2
回答已采纳
1回答
我不知道如果谓词(我想这就是它的名字，“火腿”)不在数据库中，为什么它会给出一个错误，但是没有其他部分也没问题。知道我做错了什么吗？如果我第一次用prolog做了一些很愚蠢的事情，我很抱歉。如果有必要的话，我使用SWI-Prolog V.6.2.6。我该如何在输出中省略真或假返回呢？
11 ?
浏览 0提问于2013-04-23得票数 0
回答已采纳
我有一组DCG规则(在本例中是德语人称代词)：ppers(1,0,sg,_) --> [ich].
ppers因为它们在语义上是联系在一起的，所以对我来说，通过将它们移动到一个列表中(例如，按人员分组)而不是不相关的规则来保留这些信息是有意义的。然后我会用nth0()选择我想要的项目，其中我需要的大小写是列表中的索引。然而，当我在程序中跟踪时注意到，当我检查一个德语句子的语法是否正确，并试图找出一个部分是否是人称代词时
浏览 1提问于2012-05-21得票数 0
回答已采纳
5回答
prolog中的哈希表
、、、
前几天，我正在用prolog解决一个难题，我意识到如果我使用另一种编程语言，我会利用哈希表/字典，但据我所知，这在prolog中是不可能的。所以我的第一个问题是，是否有任何prolog支持具有哈希表性能特征的类似字典的数据结构？其次，我突然想到，由于大多数prolog使用哈希表来存储谓词，因此我可以编写一个包装器谓词来断言和收回事实，从而创建一个利用底层谓词哈希表的字典接
浏览 0提问于2009-08-22得票数 29
回答已采纳
我试着做谓词，让它是check/1，在以下所有情况下返回true：check( a ++ b ++atoms% be resistant to any type of parenthesesyesGnu是首选，但SWI也是可以接受的
浏览 2提问于2011-08-29得票数 3
回答已采纳
2回答
我正在用prolog编写一个带有三个参数的谓词。它们分别是一个字符、一个字符串列表，最后一个参数是第二个参数中以第一个参数开头的所有字符串的列表。我的写语句替代了我对如何在SWI中跟踪的完全缺乏知识。其中产出：
我的方法是正确的，但是谓词不会终止(写X之后缺少句点不是一个错误)。我的问题是，为什么不呢？从我在互联网上找到的有限的递归例子
浏览 1提问于2012-02-16得票数 4
回答已采纳
3回答
我有一个这样的事实清单：set(h, 6).set(h, 1).我需要找到set h的最大值，查询需要如下所示：set(h, 3).set(h, 12).
set(h, 1).
浏览 6提问于2016-12-01得票数 0
回答已采纳
2回答
是什么减慢了对键上对的排序？
、、、、
--enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-functionSWI中实现了相同的算法，并注意到内置的sort和keysort谓词显示了预期的区别，即sort所需的时间比keysort长。这是我正在使用的Prolog：SWI-Prolog version 7.3.24 for x86_64
浏览 4提问于2016-08-03得票数 3
回答已采纳
3回答
我正在研究一个更长的问题，它让我以列表的形式重复一个元素N次，我相信使用追加是正确的方法。理论上，微小谓词的作用应该是这样的：repl(E, N, R) :-
N > 0, append([E], [], R), writeln(R), r
浏览 4提问于2014-04-19得票数 4
回答已采纳
这个具体的一个是从开创性的学习Prolog现在。?- member(1, [1,2,3]).?- member(1, [1,2,3]).false.Q.为什么结果不仅是真的，而且是真的，然后是假的？，是什么导致prolog在成功地与第一个(非递归的)规则匹配之后回溯的？
SWI-Prolog MacOS实现和联机SWI实现都给出了上述结果。
浏览 16提问于2022-08-25得票数 2
回答已采纳
7回答
在Prolog中，你对打高尔夫球有什么一般的建议？我正在寻找的想法，可以应用于代码高尔夫问题，在一般情况下，至少是特定于Prolog (例如，一个字母变量不是特定于Prolog，以减少程序的大小)。请在您的技巧中说明它是否特定于Prolog的实现(例如SWI-Prolog特定的内置)
请在每个答案中只张贴一条提示，或者列出与同一主题密切相关的提示列表。
浏览 0提问于2015-12-18得票数 22
作为学习练习，我正在尝试用Prolog解决，我想我已经使用GNU Prolog有限域求解器正确地映射了这个问题。当我运行solve函数时，Prolog返回: yes和一个变量列表，所有变量都限定在0..1范围内(布尔值，因为我已经对它们进行了约束)。问题是，当我尝试添加一个fd_labeling(解决方案)子句时，Prolog关于faces并吐出: no。我刚接触这门语言，我似乎找不到任何方法来弄清楚为什么<
浏览 0提问于2011-11-07得票数 3
回答已采纳
1回答
如何在Prolog中使用DCG
、、、、
因此，我目前正在尝试实现类似于这棵树的东西，使用一个文本文件，其中包含课程和任何参加课程的学生的ID。我正在解析的文本文件如下所示： 201000001 201000002 201000003我在网上读到，使用DCGs可能是最好的方法，因为每个学生都从一个选项卡开始，所以ascii值'9‘，然后课程由2我真的迷上了<
浏览 5提问于2020-02-19得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
