Вопросы по теме 'datalog'
Прямая цепочка против обратной цепочки
Чем хорош один, а другой не на практике? Я понимаю теорию того, что они делают, но каковы их ограничения и возможности в практическом использовании? Я рассматриваю Drools против пролога Java для нового проекта ИИ, но открыт для других предложений....
58778 просмотров
schedule
21.01.2023
Как представить огромный семантический граф (связанные данные) с интерфейсом запроса Datalog
У меня есть огромная семантическая сеть со своим специфическим Java API для запроса данных (данные хранятся в нескольких Lucene индексы).
Я хочу что-то более интерактивное (чем программирование на Java) для запроса, например интерфейс журнала...
726 просмотров
schedule
17.03.2023
Неопределенная предикатная ошибка в журнале данных
Так что сейчас я изучаю журнал данных. Я загрузил его и набрал следующее:
parent(john, michael).
и тут же получил неопределенную предикатную ошибку. Насколько я понимаю, это должен быть правильный способ определить отношения в фиктивной...
664 просмотров
schedule
03.07.2022
Эффективный запрос Datomic для фильтрации наборов с разбивкой на страницы
Учитывая, что Datomic не поддерживает нумерацию страниц , мне интересно, как эффективно поддерживать такой запрос, как:
Возьмите первые 30 объектов на :history/body , найдите объекты, :history/body которых соответствует некоторому...
931 просмотров
schedule
08.08.2022
Программирование набора ответов. Как подсчитать количество фактов, которые являются результатом моего запроса?
Итак, у меня есть набор фактов и запрос, написанный на ASP для запуска на DLV,
%Q1 : Find the implicit "is_a" relationship between terms
%ex: if term A is is_a term B, term B is_a term C, then term A is_a term C
%is_a One level...
1052 просмотров
schedule
31.12.2022
Datomic применяет предикат к атрибуту с количеством элементов много
Скажем, у меня есть объект Datomic с многозначным атрибутом (например, чисел). Как мне вернуть список сущностей, значение которых не содержит определенного числа?
Например,
{:db/id #db/id [:db.part/db]
:db/ident :strs
:db/valueType...
452 просмотров
schedule
17.10.2022
Как работает предложение not в Datomic?
Я пытаюсь найти широты, которые попадают между двумя входами. Мой запрос:
(defn- latlngs-within-new-bounds
[db a w]
(d/q '[:find ?lat
:in $ ?a ?w
:where
[ ?e :location/lat ?lat]
[(>= ?lat ?a)]...
427 просмотров
schedule
21.07.2023
Можно ли получить значение перечисления с помощью синтаксиса Datomic pull?
В примере данных mbrainz :artist/type является перечислением. Можно ли вытащить значение перечисления из :db/ident и связать его со значением ключа :artist/type, используя синтаксис pull?
Это настолько близко, насколько я мог:
[:find (pull...
745 просмотров
schedule
06.05.2023
Определение компонентов запроса журнала данных за пределами (datomic.api/q '[])
Я работаю с datomic.api от clojure. Я хочу реорганизовать несколько сложный запрос журнала данных, такой как этот:
(datomic.api/q '[:find [?value ...] :in $ ?uid ?component :where
[...some clause...]
[...some other...
271 просмотров
schedule
10.12.2022
Datomic: как сделать запрос по любому количеству баз данных внутри запроса?
Я использую Datomic и хотел бы извлекать целые объекты из любого количества моментов времени на основе моего запроса. В документах Datomic есть несколько достойных примеров того, как я могу выполнять запросы из двух разных экземпляров базы данных,...
713 просмотров
schedule
05.02.2024
Как запустить журнал данных в Z3 с помощью командной строки
Я пытаюсь запустить файл журнала данных (test.dl, с http://rise4fun.com/Z3/tutorialcontent/fixedpoints#h21 ), как показано ниже в Z3 (версия: 4.3.2).
(set-option :fixedpoint.engine datalog)
(define-sort s () (_ BitVec 3))
(declare-rel edge (s...
212 просмотров
schedule
24.06.2023
Найдите кратчайший путь в DLV
Я пытаюсь найти все пути в графе с минимальным расстоянием, используя DLV. Скажем, у меня есть следующий график:
Я ожидаю получить предикаты (надеюсь, я ничего не пропущу):
путь (а, б, 1), путь (а, г, 1), путь (а, д, 1), путь (а, с, 2)...
807 просмотров
schedule
19.01.2024
Аннотированные отношения в Datomic
Я надеялся продолжить обсуждение этого вопроса SO и получить более подробную информацию о реализации.
Мои требования включают в себя разрешение администратору определять теги для отношения, количество которых произвольно, вовлеченные сущности...
297 просмотров
schedule
13.09.2023
Запрос уникальности в Datalog?
Можно ли в Datalog написать запрос фактов, где имеется ровно одно значение одной из переменных для каждого возможного значения других переменных?
например найти все X такие, что есть только один X для каждого Y в expr(X, Y)
58 просмотров
schedule
08.02.2023
Возможно ли использование Datalog отдельно?
В настоящее время я изучаю Datalog для своего отчета в классе, мне нужно только обсудить базовый синтаксис и базовый пример.
Я знаю, что Datalog обычно используется в качестве языка запросов и обычно реализуется только для других языков, таких как...
371 просмотров
schedule
02.07.2022
Мне нужно создать запрос журнала данных на основе двух таблиц?
Приведенное ниже правило журнала данных для none_of_manufacturer предназначено для перечисления тех производителей самолетов, для которых авиакомпания не имеет самолетов в своем парке. Однако приведенный ниже фрагмент журнала данных не делает того,...
110 просмотров
schedule
27.05.2022
Максимальный минимум и среднее значение в журнале данных
Я не могу понять, как рассчитать среднее, максимальное и минимальное значение с помощью языка программирования декларативной логики Datalog.
Например. Учитывая эту простую схему
Flows(Stream, River)
Rivers(River, Length)
Если я хочу
а)...
1882 просмотров
schedule
18.06.2023
Поддержка подзапросов в datomic
Поддерживает ли datomic подзапросы или их можно имитировать в запросе? По сути, это будет :find внутри другого :find .
Я пытаюсь выполнять аналитические преобразования данных в самом запросе/БД, а не в приложении.
588 просмотров
schedule
15.07.2023
Как создать динамические арифметические факты в pyDatalog?
Мне нужно создать простую машину Datalog (что означает, что я ввожу 2 файла: 1. факты, 2. правила). В настоящее время я использую пакет pyDatalog. Мне нужно анализировать факты и динамически создавать термины.
из учебника pyDatalog я нашел этот...
219 просмотров
schedule
05.12.2022
Как создать арифметические предикаты в pyDatalog?
как перевести этот арифметический предикат в допустимый предикат pyDatalog?
добавить (X, Y, Z) ← X + Y = Z
Например:
?Добавить(5, 7, Z).
ответ должен быть: добавить (5, 7, 12).
Спасибо!
181 просмотров
schedule
23.05.2023