Как и многие программисты, я изучал Пролог в университете, но совсем немного. Я понимаю, что Пролог и Даталог тесно связаны, но Даталог проще? Кроме того, я читал, что Datalog не зависит от порядка следования логических выражений, но я не уверен,...

Я работаю над приложением журнала данных для регистрации данных всех датчиков, доступных на устройстве Android. Я хотел знать, какой эффективный способ? Регистрировать одного слушателя для всех датчиков или отдельных слушателей для каждого датчика?...

Итак, я пытаюсь понять, как работает Datalog, и одно из отличий между ним и Prolog заключается в том, что он имеет ограничения стратификации, накладываемые на отрицание и рекурсию. Цитирую Википедию: Если предикат P является положительным...

С этим запросом: {:find [?e] :where [[?e :db/valueType :db.type/string]]} Я могу найти все объекты со свойством с именем :db/valueType и значением :db.type/string . В моем случае с некоторыми данными в базе данных он возвращает...

Для программы регистрации данных в Z3 внизу результат запроса (query (CallGraph invo heap):print-answer true) заданный Z3: sat (and (= (:var 0) #b011) (= (:var 1) #b1)) Однако ответ должен быть sat (and (= (:var 0) #b1)...

Я хотел бы проверить в предложении where в журнале данных, находится ли атрибут в определенном наборе (или списке). Например, я хочу проверить, находится ли :tag-type/code в ["urgent" "todo"] . Я могу сделать это: (or [?tag-type...

Я немного работаю над DLV, и когда программа большая, мне трудно следить за активацией правил. Поэтому я обратился к руководству и проверил, можно ли что-то сделать. это. Единственное, что я нашел, это внешний вариант -FP, но я не уверен, что...

В настоящее время я использую Datomic в одном из своих проектов, и меня беспокоит вопрос. Вот упрощенная версия моей проблемы: Мне нужно разобрать список небольших английских предложений и вставить в Datomic как полное предложение, так и его...

Допустим, у меня есть данные datomic, которые выглядят так: Author (id: 5) { name: "Mercy", blogs: [1, 2] } Blog (id: 1) { title: "Hello blog" } Blog (id: 2) { title: "Hello blog second" } Я хочу найти автора по имени и всем названиям...

Я использую pyDatalog (в Python 2.7). Используя арифметическую функцию, такую ​​как + , я могу сослаться на более раннюю связанную переменную: >>> (X==1) & (Y==X+1) [(1, 2)] Но я не могу использовать логический оператор not...

StreamReader sr = new StreamReader("C:/CR EZ Test/Log.txt"); //use with IF private void timer2_Tick(object sender, EventArgs e) { if ((line = sr.ReadLine()) != null) { //FileStream fs = File.Open("C:/CR EZ Test/Log.txt",...