predicate

4热度

4回答

append/3是一个非常强大的谓词。假设我想要一个和SWI-Prolog的字符串一样的谓词。我看到的最简单的方法是将这些字符串转换为与列表，然后应用append/3，然后使用回来。这种方法的一个大问题是如果两个变量都不统一，不起作用。这是一个极其丑陋的解决方案，我想出了，检查哪些字符串是统一适用需要的时候： append_strings(S1, S2, S3) :-

1热度

1回答

组合两个lambda表达式与内表达

我隔壁班的结构： public class Order { public User User { get; set; } public string Name { get; set; } } public class Authentication { public string Email { get; set; }

0热度

1回答

谓词逻辑的自然演绎

我一直被困在一个特定的谓词逻辑问题（使用Coq）很长一段时间。我已经解决了30-40谓词逻辑问题，但用这个我只是无法弄清楚。所有x，（P（x）/（Q（x） - > T（x））） - >〜所有x，T（x）。 Or in box form 任何人都可以给我在正确的方向？谢谢！编辑：这是问题的COQ代码： Variables P Q T : D -> Prop. Theorem pred_015

8热度

2回答

使用谓词或函数作为Java流过滤器有什么区别？

因此，假如我用一些随机的过滤器上的流时，最简单的方法就是直接输入谓词： x.stream().filter(e -> e % 2 == 0) 除了我可以简单地做一个参考，并预先定义谓词： Predicate<Integer> isEven = e -> e % 2 == 0; ... x.stream().filter(isEven) 但我也用一个函数： private static

0热度

1回答

为最新的日期值

生成谓语我需要创建一个谓语从表中读取数据，其中regId = ? (||) or (&&) estCode = ? && latest (referralEntryDate) 获取数据的最新日期 @Override public Predicate toPredicate(Root<ReviewMedicalStatus> root, CriteriaQuery<?> query, Criter

3热度

2回答

在一个语句中使用和/或/否定方法创建谓词？

java.util.function.Predicate有一些有用的方法，如and,or等，它们比用多个逻辑运算符创建一个括号orgy更简洁。不幸的是，似乎是没有办法使用这些功能，而无需实际具有判定explictely第一... Predicate<String> predicate = String::isEmpty; Predicate<String> predicateWithAnd =

0热度

1回答

为什么我不能将谓词应用到java流过滤器？

我有这样的代码： @Override public List<Device> getAvailableDevices(Predicate<Device> filter) { return deviceRepository.getDevices() .stream() .filter(filter) .collect(Collectors.toL

1热度

1回答

Java可选空Json字段

我使用Jackson库中的JsonNode对象来保存json响应。我可能有一个JSON像这样： { "a": "test", "b": true } 然而，在次b场可能会丢失。因此，它可以回来是这样的： { "a": "test" } 在这种情况下，我想回到Optional.isEmpty()当我试图检索它的价值。本质上，这是针对Java代码： if(js

2热度

1回答

我应该使用Guava Predicate还是Java Predicate？

据我所知，Predaates in Guava是为了填补Java中的空白，在Predicates被引入到Java 8之前。现在，当Java中有这样的功能时，使用Guava Predicates是否仍然有意义？那有什么附加价值吗？

0热度

1回答

谓词中的计算是否在每次迭代中运行？

在谓词中有计算时，它是在每次迭代中执行还是仅在第一次执行？例如： items.filter { $0.propA > (343424 * 752/0.43) } 是否在每次迭代（343424 * 752/0.43）或仅在第一次该计算运行。我想知道如果我要自己带来不便，每次是这样的： let calc = 343424 * 752/0.43 items.filter { $0.propA > c