为什么使用atom([])。SWI prolog软件中的false，而GNU prolog中的false是否为真？
为什么使用atom([])？
在Prolog中，atom([])表示一个空的原子。原子是Prolog中的一种数据类型，它是不可分解的、不可修改的常量。使用atom([])的主要目的是表示一个空的原子，它可以用于模式匹配、条件判断等操作。
在SWI-Prolog中，atom([])返回true。这是因为在SWI-Prolog中，空列表([])被视为一个原子，而不是一个列表。因此，atom([])表示一个空的原子，返回true。
而在GNU Prolog中，atom([])返回false。这是因为在GNU Prolog中，空列表([])被视为一个空的列表，而不是一个原子。因此，atom([])表示一个空的列表，返回false。
需要注意的是，SWI-Prolog和GNU Prolog是两个不同的Prolog实现，它们在某些语法和语义上可能存在差异。在编写Prolog程序时，应该根据具体的Prolog实现来确定相应的行为。
腾讯云相关产品和产品介绍链接地址：
腾讯云是中国领先的云计算服务提供商，提供丰富的云计算产品和解决方案。以下是腾讯云相关产品和产品介绍链接地址：
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云原生应用引擎（TKE）：https://cloud.tencent.com/product/tke
- 云数据库 MySQL 版（CDB）：https://cloud.tencent.com/product/cdb
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 人工智能（AI）：https://cloud.tencent.com/product/ai
- 物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
- 移动开发（移动推送、移动分析）：https://cloud.tencent.com/product/mpns
- 区块链（BCS）：https://cloud.tencent.com/product/bcs
- 元宇宙（Tencent Meeting）：https://meeting.tencent.com/
请注意，以上链接仅供参考，具体的产品和解决方案选择应根据实际需求进行评估和决策。
相关·内容
当我使用SWI prolog程序并运行下面的代码时，结果与GNU console不同，如SWI prolog中的show：atom([]). false，而GNU console prolog中的atom([]).为true。
浏览 20提问于2019-11-28得票数 2
2回答
Prolog -将单词拆分成单独的字母
prolog
我如何在不使用列表或内置谓词atom_chars/2.的情况下将单词拆分成字母那里的字母将是单词的第一个字母。我在拆分字符串时遇到了困难，我不知道如何使用''作为“拆分器”。为了获得灵感，我尝试用predicate_property(atom_char(_,_), P).检查predicate_property(atom_cha
浏览 4提问于2017-12-29得票数 0
回答已采纳
2回答
SWI-Prolog:如何从转义字符串中获取unicode字符？
unicode、prolog、swi-prolog
像string_concat('\'，S，“u0026”)，write(S)这样的技巧。没有帮助，因为它将删除\不仅是转义。所以基本上我的问题是，如何从字符串中删除转义字符。编辑:哦，我刚刚注意到，stackoverflow也可以使用escape。
write_canonical/1给我"\u0026"，如何将其转换为单个'&‘字符？
浏览 1提问于2016-10-07得票数 1
1回答
错误[XSB/运行时/P]：[类型(库(http/ thread_httpd)代替atom)]
server、prolog、swi-prolog、xsb
我正在尝试在服务器中托管XSB。http / http_dispatch)/0 Forward Continuation...有人能告诉我我哪里做错了吗非常感谢您<em
浏览 12提问于2016-11-18得票数 1
2回答
查找字符串中的字符串
prolog
我有一个任意输入的符号序列，例如progressive，必须确定它是否包含输入的符号序列，例如progress。我的想法是把字符串分解成字母列表和比较列表。
浏览 3提问于2014-05-13得票数 1
回答已采纳
3回答
编写可在GNU和SWI中运行的Prolog代码
prolog、swi-prolog、portability、gnu-prolog、iso-prolog
我知道这是有限制的，但是有没有一种合理的方法在Prolog代码中加入条件指令，这样它就可以在GNU或SWI中合理地工作？我认为至少在最简单的情况下，内置谓词(如SWI中的sumlist和GNU中的sum_list )在拼写上彼此不匹配。或者SWI有assert，但GNU没有。所以如果能有这样的东西就好了：
:-
浏览 3提问于2013-06-11得票数 5
回答已采纳
2回答
Swi-Prolog中的字符串谓词
swi-prolog
我想知道Swi-prolog中的字符串谓词到底是用来做什么的？这里提到了示例和定义：，但我从未尝试过返回true，所以我想知道是否有人可以给我更详细的信息，并提供返回true和false的示例来找出差异？
谢谢,
浏览 7提问于2013-08-18得票数 2
1回答
SWI-Prolog在声明模块本地化运算符时失败
swi-prolog
当声明优先级大于1000的模块本地化运算符时，最新版本的SWI-Prolog (例如8.2.1)会因为“冲突”声明而导致模块动态加载失败。以test.pl为例 :- module(test, [rule/1]).test:set_ops :-请注意，在library(lists)中，prefix与prefix发生冲突。但是，prefix是在test的</e
浏览 12提问于2020-09-01得票数 0
7回答
在emacs中使用prolog
emacs、prolog、emacs23
GNU Emacs 23.2.1我开始进入Prolog，并且我想使用我的emacs作为在Prolog中编程的IDE。
目前我对c/c++使用emacs。但是不确定如何开始使用Prolog。我知道emacs有一个用于在emacs中编程的内置库。然而，我研究发现它的特征较少，即没有语法突出显示，缩进等。在emacs IDE<e
浏览 6提问于2011-03-13得票数 12
回答已采纳
2回答
Prolog中的"false“和"no”有什么区别？
prolog、prolog-toplevel
我开始在一书之后学习Prolog。在语言简介的第7页，他们断言：“在Prolog中，答案no被用来表示没有任何东西与问题统一。重要的是要记住，no与false不一样。”那么为什么SWI-Prolog使用false和true语句而不是yes或no呢？
浏览 1提问于2015-07-01得票数 7
2回答
选择/3以从字符串中删除随机字符失败
prolog
编辑:通过首先将字符串转化为string_chars/2的列表来解决这个问题。仍然不知道为什么需要这样做。我以为字符串已经是prologs头脑中的字符列表了。在prolog上不是最好的，但我必须用它来完成这项任务。我想编写一个谓词，它将从字符串中删除字符，直到字符串是回文为止。我有回文/1，这似乎是正确的。所以像predicate("addal")这样的东西应该是真的，但给我的是假的</
浏览 0提问于2019-03-24得票数 1
回答已采纳
3回答
Prolog得到字符串的头尾
string、list、prolog、dcg
我正试图第一次把我的大脑围绕着Prolog (SWI)，我正在为我确信的基本知识而奋斗。我试着用“饼”这样的字符串打印出北约的军事拼法，看上去像这样：India目前，我只是在验证我是否正确地使用了H_。我的职责是：
spellWord(String) :- String = [H|T], writeChar(H), spellWord(T)
浏览 7提问于2016-04-13得票数 8
回答已采纳
1回答
从文件读取prolog在特殊字符上抛出错误
prolog、readfile
我在Prolog中工作，并试图从一个文件中读取。第一行是密码。有了密码，我希望能够使用特殊字符。
浏览 0提问于2015-06-22得票数 1
1回答
返回真/假的查询
prolog、prolog-toplevel
我最近开始学习Prolog，并遇到了一个问题。以下内容已加载到Prolog中likes(john, pear).likes(bill, mango).例：true ;all_like
浏览 2提问于2016-03-19得票数 1
回答已采纳
2回答
string_upper/2的替代
prolog、swi-prolog
机器，我的代码应该在它上面工作，由于某种原因，它不知道谓词string_upper/2。还有别的选择吗？最终，这个谓词的代码会是什么样子呢？
浏览 1提问于2018-04-29得票数 0
2回答
将纯JSON转换为SWI-Prolog字典
json、prolog、swi-prolog
我在SWI-Prolog中有一个简单的规则，我想在AWS Lambda函数中实现它。json文件中读取，而不能从compound表单中的纯json中读取。false的条件。我到目前为止所尝试的都不起作用，因为当使用atom_json_term/3、json_read/2,3或json_read_dict/2,3时，<
浏览 14提问于2021-08-11得票数 1
3回答
如何在prolog中操作字符串？
string、prolog
我在我的基本事实中有这个事实(“姓名”，“姓氏”，"123")。如果我简单地写这个问题: fact(X，_，_)。对于X，我得到了一些未知的输出。如何检索这些值，或者如何获得此输出？?谢谢您的支持。
浏览 2提问于2010-12-09得票数 1
2回答
SWI-Prolog与C++接口的问题
c++、c、qt、prolog、swi-prolog
我选择使用Qt来设计GUI，并使用C++作为连接SWI到应用程序的后端。我做了一些研究，为了与SWI-Prolog接口(我还要提到我的教授也推荐这样做)，最好的操作方法是使用Volker开发的头文件和源文件，作为参考，下面是指向包含这些文件的压缩文件的链接。除了对前面提到的头文件所做的更改外，我还必须修复头文件中的</e
浏览 4提问于2014-07-07得票数 3
回答已采纳
2回答
断言的数据不同
prolog、swi-prolog
我在自学Prolog。我有400行，我想在prolog中断言这些行。这和其他几个版本断言，但不是我所期望的那样。像这样的东西会返回真：false.
浏览 0提问于2018-12-26得票数 0
回答已采纳
2回答
逐行读取文件，搜索字符串
swi-prolog
我有一个纯文本文件和几行随机的数据，没有什么特别的。for line in data arrLines.add(line)
但是我想跳过文件中的第一行在我知道的其他语言中非常简单的东西，比如python..ect，我发现从文档中学习非常困难，因为他们似乎希望你在使用它之前已经了解了很多prolog :/
有人能推荐一些他们不希望
浏览 1提问于2013-03-31得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
云直播
实时音视频活动推荐
腾讯云开发者
