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

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

0熱度

1回答

通過密鑰sqlpredicate查詢

我想通過緩存的密鑰集查詢緩存。有沒有辦法在緩存的鍵上應用SqlPredicate？謝謝

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