腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
PROLOG
中
的
布尔
保护
、
、
我有这个
prolog
代码,它生成一个带有latex代码
的
txt文件 worlds(_,_,_,_,[]) :- !.label = {[label distance=0cm]:$1,2,3,4$}][below of = 3][right = 64mm] (6){}; \draw [->] (4) to (6); 我想要
的
是这样消除第一个世界
的
节点
的
label = {[label distance=0cm]:$1,2,3,4$}][below of = 3][right = 64mm] (6){};
浏览 18
提问于2021-08-11
得票数 1
回答已采纳
3
回答
Dijkstra伯爵警卫如何在
Prolog
中
对处决进行排序
、
、
、
我没有在Dijsktras中找到一个
Prolog
剪切"if“,因为他”否则将选择一个带有真正守卫
的
任意
保护
列表执行“。因此,他
的
构造没有选择第一次匹配,正如
Prolog
剪切所做
的
那样:[] Cond2 -> Action21, .., Action2n2...if 在"do od“构造
中
浏览 4
提问于2021-02-11
得票数 1
回答已采纳
3
回答
Prolog
中
的
布尔
赋值
、
我想给一个变量赋值一个
布尔
值。 我试过像这样
的
东西。
浏览 2
提问于2011-09-29
得票数 5
回答已采纳
3
回答
“几乎是纯
的
”
Prolog
表达吗?
、
、
、
、
@评论 是的,您可以在没有dif/2
的
情况下实现图灵机。但您甚至不能实现交集或类似的谓词。假设我们确实将纯
Prolog
( + + )扩展为call/N、dif/2和(=)/3,用于if_/3,那么它
的
表现力是否仍然存在空白,例如,在
中
定义
的
琐事,但在这种扩展(几乎是纯
的
)
Prolog
中
更难声明呢?特别是,这样
的
Prolog
是否允许像Scheme允许
的
浏览 7
提问于2020-12-23
得票数 2
回答已采纳
1
回答
Prolog
依赖项:包含vs ensure_loaded
我在用
prolog
写一个程序。我有三个文件: Class.pl,main.pl,utilities.pl。当我编译main.pl时,我会得到警告“.不是在一起
的
子句”。 但是,如果我在ensure_loaded中切换include,它就不会再给我警告了。我假设这与循环依赖和正在重写
的
utilities.pl
中
的
谓词有关?ensure_loaded
的
工作方式是否类似于C++
中
的
#实用主义?但是我也读过一些包含代码
的
文章,而ensure_
浏览 3
提问于2016-11-05
得票数 2
回答已采纳
2
回答
prolog
中
的
保护
子句?
、
、
、
它们是如何实现
的
? SWI-
Prolog
的
谓词(freeze,when,dif等)具有的功能。它们如何适应首选
的
Prolog
编程风格?我对逻辑编程(使用
Prolog
和完全)是非常陌生
的
,我对它不是纯粹
的
声明式
的
这一事实感到有点困惑,即使在非常简单
的
情况下也需要考虑过程(请参阅此)。我是不是错过了什么重要
的
东西?
浏览 5
提问于2012-12-07
得票数 8
回答已采纳
2
回答
Prolog
实现和/2,或/2,nand/2,nor/2,xor/2
、
、
、
、
我希望在
prolog
中
实现以下谓词,并将它们用于真值表:和/2,或/2,nand/2,nor/2,xor/2 例如,也许有人可以教我如何实现和/2,这样我就可以自己做其他人,并在这里发布它们。
浏览 6
提问于2013-10-28
得票数 4
回答已采纳
1
回答
用
prolog
在txt文件
中
打印结果
、
我使用
Prolog
和clpd来解决
布尔
问题。下面我有这样
的
规则: sat(A + B + C, D), labeling([A, B, C, D, E]); 是否可以在文件
中
打印结果?
浏览 5
提问于2016-11-14
得票数 2
回答已采纳
1
回答
Prolog
中
的
布尔
合一?
、
、
我想让通常
的
Prolog
统一更加智能。?- op(300, fy, ~).Welcome to SWI-
Prolog
(threaded, 64 bits, version 8.3.7) :- use_module(library(clpb)但是我需要比加载一个完整
的
CLP(B)库更轻量级
的
东西。有什么想法吗?
浏览 13
提问于2020-11-14
得票数 2
2
回答
在
Prolog
中
定义(数学)函数
、
、
我知道
Prolog
(逻辑编程)是关于返回true和false
的
,函数是返回从列表、数字到
布尔
值
的
任何东西。最初,
Prolog
似乎没有函数
的
概念,而是依赖于统一,但是您可以这样做:如果它真的只是语法糖,那么如果我想定义一个像log2这样
的
数学“函数”,我会怎么做呢?我怎样才能在
Prolog
中
做到这一点?
浏览 3
提问于2013-08-24
得票数 8
回答已采纳
1
回答
如何在Gnu
Prolog
for java中使用字符串(atom)术语
、
、
、
、
我是
prolog
的
新手,我想用
prolog
+ java编写wampus AI,试图用java做
prolog
和GUI
的
逻辑,但我卡住了,而且是一个非常基础
的
级别。基本上,我
的
知识库中有这样
的
东西我想知道谁是莎拉
的
父母(父母(X,莎拉)),但我不能,因为我不能否认萨拉这个词!sara -string/ atom - Term
的
(实际上有and atom,但它是受<e
浏览 12
提问于2018-02-06
得票数 0
1
回答
Prolog
查询:基于事实
的
返回值
我是一个新
的
Prolog
作为一个整体,我正在学习
prolog
查询。Person("Mike", "123456").//Info(State, ID, Age)我试图用某人
的
名字和国家来回报他们
的
年龄。通过执行以下查询,应该返回17。我相信它仍然被计算为
布尔
值。但是,我希望函数返回实际年龄。
浏览 0
提问于2018-08-26
得票数 0
回答已采纳
1
回答
Solr -根据条件执行不同
的
查询
我有50个值字段,50个
布尔
值和一个日期字段。为了符合新
的
GDPR标准,我需要使某些字段不可搜索。在我
的
例子
中
,困难
的
部分是,需要不可搜索
的
字段根据记录不同而不同。因此,在一种情况下,字段2和5可能受到
保护
,而在另一种情况下,字段3和7可能受到
保护
。这是
布尔
值所知道
的
:每个值字段都有一个
布尔
值,用于定义该字段是否受
保护
。所有这一切仅适用于日期字段仍为将来
的
情况。如
浏览 0
提问于2018-05-08
得票数 0
2
回答
在HTML
中
,文档类型声明是元素吗?
、
、
在HTML
中
,文档类型声明是元素吗?但是亚当·弗里曼( Adam )
的
“HTML5权威指南”说 DOCTYPE元素告诉浏览器它正在处理一个HTML文档。这是通过HTML
布尔
属性表示
的
:
浏览 0
提问于2019-04-27
得票数 4
2
回答
python
中
的
Prolog
代码,其中Pyswip输出为"None“
、
我安装了pyswip包,并尝试了以下代码: from pyswip import
Prolog
,Query
prolog
.assertz("minTime(4,Y):-Y>=4") print(res) 但它会输出"None“。它应该在Swi-
Prolog
中
输出"True“。我想知道如何在pyth
浏览 7
提问于2020-01-08
得票数 1
回答已采纳
1
回答
在
Prolog
中
检查两个列表是偶数还是奇数
、
最后,我要比较
的
两个列表是:[1,2,3] 但当我去测试它时,它却是假
的
。怎么会发生这种事?
浏览 1
提问于2015-11-30
得票数 1
回答已采纳
3
回答
Prolog
中
的
复合
布尔
表达式
、
、
、
、
在
Prolog
中
,如何实现复合逻辑谓词,如(A和B)或(C和D)? 这可能看起来是一个简单
的
问题,但许多容易接近
的
在线教程在
布尔
表达式方面并不够详细。
浏览 0
提问于2012-01-21
得票数 6
回答已采纳
2
回答
Prolog
目标查询返回False
我是个高中生,正在学习
Prolog
,在目标上遇到了一个错误。没有成功
的
结果。任何帮助都是非常感谢
的
。
浏览 1
提问于2018-03-20
得票数 1
回答已采纳
1
回答
Prolog
中
的
返回值
我发现
Prolog
中
的
一些“函数”返回一些值,如min/2和max/2等,尽管大多数函数只返回true或false。它们
的
名称或分组是否与
布尔
类不同?此外,除了查看每个函数
的
文档之外,如何才能识别返回
的
值。我能在某个函数
的
某个地方找到一个返回某些值
的
列表吗?
浏览 1
提问于2016-07-14
得票数 1
回答已采纳
2
回答
检查Android上没有lambda表达式
的
internet访问(Levit)
、
、
有谁能告诉我,没有lambda表达式
的
,这个答案相当于什么?额外:一次AsyncTask示例 类InternetCheck扩展了AsyncTask<Void,mConsumer,Boolean> {私有消费者mConsumer;公共接口消费者{虚空接受(
布尔
互联网);}公共InternetCheck(消费者消费者){mConsumer=使用者;execute();}@覆盖受
保护
的
布尔
doInBackground(MConsumer)。Sock.connect(新InetSocketAddres
浏览 1
提问于2018-03-17
得票数 1
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
Numpy中的布尔索引
UG中的布尔运算是什么?
机器学习中的隐私保护
云安全中的隐私保护
版权保护中的区块链身影
热门
标签
更多标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
活动推荐
运营活动
广告
关闭
领券