5回答
is_str_empty());
如何定义is_str_empty？我不相信boost提供了它。
浏览 0提问于2010-08-21得票数 3
回答已采纳
如果我有一个有序流asList("a“、"b”、"c") .filter(谓词).findFirst()，则保证谓词将按给定顺序("a“大于"b”而不是“c”)为流的每个元素求值，直到匹配为止(findFirst我想知道asList("a“、"b”、"c") .anyMatch(谓词)是否也会按给定的顺序("a“大于"b”而不是“c”)计算谓词
浏览 1提问于2019-08-26得票数 5
回答已采纳
2回答
对Prolog谓词控制有好奇心。f(A,X):- a,b,c, g(X).b - returns true.where a,b and c are random predicates.如果c返回false，我如何继续计算谓词f(A,X)中的g(X)？
浏览 0提问于2010-11-07得票数 10
回答已采纳
目前正在进行的练习中，给定一些谓词，必须计算语法复杂性。某些谓词的句法复杂性计算如下：father = 2 (function)Y = 1 (variable)如果谓词以嵌套列表:- atomic(H), complexity(L, C1), C is C
浏览 2提问于2021-10-11得票数 2
回答已采纳
1回答
我有一个大约37行长的ACSL谓词(谓词返回传递的结构是否处于有效状态)。它是&&d的一系列条件。当我断言谓词时：而且验证失败了，我不知道&&的哪些条件失败了。
如何知道谓词的哪一部分失败？当验证失败时，我用frama-c-gui -wp -wp-rte myfile.c打开C文件。我更经常使用相同的args运行frama-c，但我使用G
浏览 4提问于2022-09-18得票数 3
回答已采纳
我有C/C++的背景，我正在尝试理解断言/断言是如何运行/检查的。(a)如果我有多个谓词，并且我想同时运行这两个谓词，那么当我运行第一个谓词时，如何确保与其他谓词中的约束相关的条件保持静态？我只是对如何运行多个谓词感到困惑。(b)断言也是如此。我必须对每个断言运行检查吗？
感谢您对此的任何反馈。
浏览 2提问于2013-12-02得票数 1
1回答
我正在写一个通过扩展谓词来转换其他程序的程序。我通常使用clause/2,来完成此操作，但如果谓词没有参数，它并不总是展开谓词： :- set_prolog_flag('double_quotes','chars').% this prints "true" instead of "A = 1"
thing
浏览 16提问于2020-02-03得票数 2
我给他密码：ancestor(P,C) :- ancestor(P,P1), parent(P1, C).但我的朋友还是不知道如何使用谓词。他把它叫做是否有一种方法可以注释P是参数，而C是返回值？在一个复杂的情况下，会有不同名称的谓词，我的用户如何知道哪个谓词是他想
浏览 0提问于2014-02-15得票数 0
回答已采纳
2回答
假设谓词和标识符匹配，我希望新断言的谓词在模块之外可用。但是，我得到了这个输出：true.
为什么谓词不导出？正确的方法是什么？
浏览 8提问于2014-04-27得票数 3
回答已采纳
因此，在上面的代码中，我想在STL find_if()方法中使用一个谓词，以便能够在向量中“找到”c4。 bool operator()(Class *c1, Class *c2){return *c1 < *c2;} sort(set.begin(), set.end(), less());
这个排序<em
浏览 2提问于2011-05-07得票数 2
回答已采纳
1回答
复制变量不受约束的项
、、、
并检查了部分这里，En是谓词返回我所需要的结果我还考虑过在谓词中有一个术语的主副本，然后使用它来复制这三个副本。问题在于，其中一个副本用于选择谓词，因此在选择谓词之前，必须进行复制。因此，即使没有选择用于计算的谓词，也
浏览 4提问于2017-02-21得票数 1
回答已采纳
所以，我的目标是每次玩家结束时调用谓词change_player。变量C将具有将要播放的播放器的值。玩家所做的游戏的谓词是play(C)。我还没有为play谓词创建代码，但我知道最终它将调用谓词change_player(C)。我试着这样做： ( code of the play)
change_player(C).change_player(C):- <
浏览 3提问于2013-10-14得票数 1
回答已采纳
我做了一个非常基本的谓词来解释我的问题，所以不要介意它是无用的。如果将空列表作为B参数传递，我希望谓词失败，predicate(A,B,C) :- writeln(B),test[]为什么即使B是空列表，谓词也不会失败？
浏览 2提问于2021-04-09得票数 0
回答已采纳
1回答
我目前正在学习Prolog中的谓词逻辑。我在回答有关这个主题的问题时遇到了困难，我想知道使用Prolog谓词解决这样一个问题的步骤。我有一个只能使用两个不同谓词名在Prolog谓词中表示的场景。A和B结婚了
A喜欢G
浏览 4提问于2013-05-12得票数 1
回答已采纳
1回答
在Sesame中是否有可能检查谓词(URI)、w3c标准谓词(例如RDFS谓词)是否与RDF.TYPE相似，还是包含在RDF词汇表中？
浏览 5提问于2016-02-01得票数 1
回答已采纳
我试图在prolog，dvd(A，B，C)中从头开始构建除法谓词，C=B/A。不使用谓词div？对于其余的也是如此。
浏览 3提问于2021-01-13得票数 0
1回答
我正在编写一个prolog谓词，它在给定的原子中用另一个元素替换元素。我编写的谓词如下： Expr0 =..rep(Var,Val).我希望它返回的结果是：X = hewwo.问题在于rep()谓词。我不知道如何编写它，也不知道如何将Val和Var传递给谓词。
请给我一些建
浏览 3提问于2015-10-02得票数 1
回答已采纳
1回答
C++ STL算法中的谓词参数被定义为模板中的类型参数。据我所知，谓词可以是两件事中的一件-( 2)返回布尔函数。如何在模板中作为谓词的类型参数？
浏览 1提问于2018-09-15得票数 0
回答已采纳
我的谓词现在是这样的：我想要做的是能够创建这样的谓词(伪代码)：然后在例如循环predicateWithArgument:searchString];
浏览 2提问于2014-03-28得票数 2
回答已采纳
我是Prolog的新手，作为一个练习，我想做一个列表反转谓词。它使用了我前面所做的add_tail谓词--有些部分可能是多余的，但我不在乎： !.add_tail([A|B], H, [A|C]) :- 它的工作原理与内置谓词append/3相同。A = [a, b, c, d].
?- append([a,b
浏览 4提问于2016-01-25得票数 1
回答已采纳
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号