Я пытаюсь сопоставить то, что я читал о Datalog, с описаниями Datomic. Все предикаты, которые я вижу в Datomic, являются тройками, то есть [значение атрибута сущности] или атрибут (e, v) в более прологическом синтаксисе. С другой стороны, журнал...

База данных LogicBlox запрограммирована с использованием языка LogiQL, который, согласно их сайту, является разновидностью Datalog: Приложения пишутся на языке LogiQL, расширенной версии Datalog. В чем именно разница между Datalog и LogiQL?

Я хочу найти людей с минимальным возрастом с помощью следующего запроса (d/q '[:find ?name (min ?age) :in [[?name ?age]]] [["John" 20] ["Bill" 25] ["Jack" 20] ["Steve" 28] ["Andrew" 30]]) Но...

Имея набор фактов в форме is_member(country, organisation) , я должен записать в журнал данных следующий запрос: Вернуть все страны, которые принадлежат ко всем организациям, членом которых является Дания. Я хочу сделать что-то вроде...

У меня есть Arduino mega с экраном Ethernet + SD-карта, на котором работает регистратор данных датчика с датчиком DHT22, записывающим данные датчика на SD-карту. Я пытаюсь реализовать веб-сервер для чтения этих данных с SD-карты. Я сделал программу,...

Настройка Рассмотрим следующую базу данных фильмов и актеров DataScript с данными, украденными с learndatalogtoday.org : следующий код может выполняться в JVM/Clojure REPL или ClojureScript REPL, если project.clj содержит [datascript "0.15.0"]...

Можно ли передать подстановочный знак _ в параметризованный запрос? Что-то вроде этого: (d/q [:find ?e :in $ ?type :where [?e :type ?type]] db _) Когда я попробовал это, как написано выше, это выдало ошибку. Есть ли способ...

У меня есть эта простая программа DLV, состоящая из нескольких предикатов и правил вывода. Одно из правил не активируется, и я понятия не имею, почему, поскольку, по-видимому, все предикаты существуют. Я должен признать, что я не эксперт в DLV и...

Я использую внешнюю команду внутри скрипта Python, используя сначала: subprocess.Popen(cmd, stdout=subprocess.PIPE) тогда я получаю стандартный вывод. Проблема в том, что результат этой внешней команды при выполнении внутри скрипта не тот,...

Datalog легко идентифицировать с подмножеством Prolog, в котором не используются функциональные символы, а только константы и переменные. Но чистый журнал данных, который не использует отрицание, имеет дополнительное ограничение (*): Каждый факт...