谓词返回false

文章/答案/技术大牛

发布

1回答

prolog

我在使用以下谓词时遇到了问题： treeToList(void, []). treeToList(HI1, L1),TreeToList获取一棵树，并返回一个包含所有节点的列表。同时，maximumInList获得一个列表并返回列表中的最大元素。这两个谓词单独工作都很好，但是最后一个谓词maxNodeInTree应该首先使用treeToList获取列表L，然后将该列表传递给maximumInList，然后它将返回</

浏览 12提问于2021-01-22得票数 3

回答已采纳

1回答

从其他谓词调用谓词时返回false

prolog

但是read_file在“write(‘list元素之和：')”之后返回false。好像custom_sum是这里的一个问题。

浏览 0提问于2020-03-16得票数 0

回答已采纳

1回答

Prolog谓词返回true和false

prolog

我认为谓词contains_at_least_one_list有一些可疑之处，但我找不到问题所在。有一个问题是不正确的%which return true and false

浏览 0提问于2021-09-25得票数 0

1回答

组合谓词excercise hyperskill

java、predicate

我正在Hyperskill上练习我的java技能，但我搞不懂这个关于组合谓词的练习。如果输入列表为空，那么对于任何整数值，结果谓词都应该返回false (总是false)。很重要。注意提供的方法模板。请不要更改它。

浏览 0提问于2020-05-04得票数 1

2回答

Java:组合多个谓词

java、collections、predicate

在Java中，有没有一种将多个谓词(Guava谓词)组合成一个谓词的简单而优雅的方法？目前，我有一些谓词列表：我有一些代码循环遍历谓词，如果其中任何一个为false，则返回false。

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

回答已采纳

1回答

具有三向比较谓词的STL函数

c++、sorting、stl、binary-search、lower-bound

有没有像std::sort()，std::binary_search()，std::lower_bound()，std::upper_bound()这样的库接受3向比较谓词(在less上返回-1，在equal上返回0，在great上返回1)而不是less谓词(在less上返回true，在true上返回false )？当然，较少的谓词可以很容易地从现有的3向谓词(如[](A a, B b) { return compa

浏览 2提问于2011-05-22得票数 5

1回答

解释Prolog成员+谓词调用

prolog、member

我很难理解成员+谓词调用。例如，当我有这样一个谓词时： predicate(List) :- member(X, List), someCalculations(X).让我们假设谓词someCalculations(X)有时返回true，有时返回false，或者只返回false/true。对于返回的第一个true，还是当列表中的所有X成员返回true时，它会停止吗？

浏览 0提问于2018-05-19得票数 1

回答已采纳

1回答

相当于C++的stable_partition？

c++、clojure

在C++中，标准库中有一个名为stable_partition的函数，它接受集合和谓词。它对集合进行划分，并将谓词在一个位置返回true的元素和谓词在另一个位置返回false的元素放在一起，同时保持元素的相对顺序。我只是想知道在一个标准clojure库中是否有类似的东西。它可能返回一个由两个较小集合组成的延迟序列，其中一个集合包含谓词返回true的元素，另一个集合包含谓词返回false</

浏览 2提问于2016-02-06得票数 2

回答已采纳

2回答

Prolog:为什么我的谓词返回false？

prolog

因此，我编写了一个谓词，它计算一个元素在列表中发生的次数。我做错了什么？

浏览 0提问于2018-02-27得票数 1

回答已采纳

2回答

Prolog中的谓词控制

prolog、predicate

对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

回答已采纳

1回答

我们能构造一个满足给定位谓词的无限列表吗？

list、haskell、predicate、bitstring

如果我们有一个给定的谓词p :: [Bool] -> Bool，它以一个无限列表作为参数，并根据一些未知的条件返回True或False，那么我们不知道这个谓词是什么。我们能否计算出一个函数f :: ([Bool] -> Bool) -> [Bool]，它接受这样的谓词，并返回一个无限列表l，其中p l == True，假设谓词是可满足的。

浏览 11提问于2021-12-08得票数 5

回答已采纳

2回答

谓词函数的Clojure Spec

clojure、clojure.spec

我想要为函数作为谓词意味着什么编写一个规范。在Clojure世界中，谓词的含义似乎有三种方式，尽管大多数人似乎都认为它们应该以问号结尾。编辑:谓词还可以接受多个参数，如contains?所示。

浏览 5提问于2017-04-18得票数 1

回答已采纳

1回答

是否有像std::any_of这样的东西将谓词应用于所有元素？

c++、algorithm、c++11、stl

=last) { ++first; } return false; } 因此，它不会将谓词应用于所有元素。如果任何元素返回此谓词的true，但同时t将运行来自给定范围的所有元素的谓词，那么是否还有其他函数返回true？UPD:所以我需要这样做--我的函数修改了容器的元素，然后返回true of元素，否则修改为false。所以我需要知道是否有任何元素被修改了

浏览 3提问于2021-07-15得票数 0

1回答

在两个列表中搜索两个元素

prolog

我有一个谓词搜索(a，b，c，d)，如果a和b中的元素占用相应的列表C和D，则该谓词搜索成立。下面是我的代码，但它返回false：corresp( X , Y , [_|Xs] , [_|Ys]) :- corresp当X和Y在列表中时，它返回false

浏览 3提问于2014-03-20得票数 0

1回答

IntStream::noneMatch不能对流的所有元素计算谓词吗？

java、java-8、java-stream

的Javadoc 返回此流中是否没有任何元素与所提供的谓词匹配。如果没有确定结果所必需的话，可能不会对所有元素计算谓词。如果流是空的，则返回，并且不计算谓词。我想知道是否有一个实际的场景，其中noneMatch不会对流的所有元素计算谓词并返回true (在noneMatch返回false的情况下，很明显，在找到第一个匹配之前，谓词只能在元素上进行计算)。我能想到的唯一场景是，如果流管道中有一个过滤器，其

浏览 3提问于2014-12-24得票数 2

回答已采纳

2回答

如何反演System.Predicate<T>

c#、.net

假设我有一个Predicate<T>，我想用上述谓词返回true调用foo方法，我想用返回false的谓词调用方法栏，我如何做到这一点：foop); // obviously this doesn't work 如果谓词是Func<int, bool> f，我可以只使用!f(i)

浏览 4提问于2015-06-25得票数 3

回答已采纳

2回答

查询服务器端时不起作用的微风谓词

breeze、server-side、entitymanager、predicate、hottowel

我有一个简单的查询，当从服务器查询时忽略谓词。所有数据都会返回。之后，如果我在本地包含相同的谓词和查询，则应用谓词。这是正常的吗？我的谓词和查询看起来像发送到服务器的URL看起来像http://loc

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

回答已采纳

3回答

Java :首先查找多个过滤器谓词

java、collections、java-stream、predicate

谓词是布尔标志的简单组合。例如：--------------------------------predicate2: | false | truepredicate 4: | true | true 我想要找到“每种类型中的一种”，尽管我想为productsCollection中的每个谓词找到第一个

浏览 6提问于2022-02-07得票数 1

回答已采纳

2回答

WinJS.Binding.List.createFiltered:谓词中的异步调用

javascript、windows-8、windows-store-apps、winjs

下面代码中的谓词将始终返回false。我的问题是，如何“等待”异步操作并使用该结果作为谓词结果？return someList.createFiltered(function(item) { var filter = false;

浏览 0提问于2013-10-31得票数 0

回答已采纳

1回答

什么路线谓词在颤振中的意思？

flutter

我在使用Navigator.pushNamedAndRemoveUntil()方法时遇到了RoutePredicate。有人能解释一下吗？

浏览 8提问于2021-12-07得票数 6

回答已采纳

点击加载更多