predicate

0зной

1ответ

Естественная дедукция для предикатной логики

Я долгое время сталкивался с определенной проблемой логики предикатов (используя Coq). Я уже решил 30-40 задач логики предикатов, но с этим я просто не могу понять. В этом заключается проблема: ~ все

0зной

1ответ

LEFT JOIN с оператором AND с использованием критериев API

Я пытаюсь построить динамические запросы с использованием JPA и API критериев, но без метамоделей. С таблицами: Foo: ID 1 2 3 4 Bar: ID FooID Number 1 2 44 2 2 55 3 3 55 Я хочу, чтобы

0зной

1ответ

Sqlpredicate query over keys

Я пытаюсь запросить кеш по набору ключей кеша. Есть ли способ применить SqlPredicate по ключам кеша? Благодаря

2зной

1ответ

Сортировка списка пар ключ-значение в соответствии с данными предпочтений?

У меня есть этот список (читайте в файле): [a-3, a-2, a-1, b-3, b-2, b-1, c-3, c-2, c-1 , END_OF_FILE] также у меня есть следующие предикаты: % ipo(A,B) -> A is preferred over B ipo(end_of_file, _).

2зной

1ответ

Использование ИЛИ оператора на Cloudkit предиката

У меня есть cloudkit запись с 5 полями: Active User1 User2 User3 User4 Я пытаюсь выбрать запись, где один из пользовательских полей 4 совпадает с переменной USERID. Только одно из четырех полей