Описание тега datalog
Datalog is a query and rule language for (deductive) databases that syntactically is a subset of Prolog.
2
ответа
База данных для запроса
Мне нужна помощь по следующему запросу: С учетом отношений: hiker(HN, Name), mountain(MN, Height), climbed(HN, MN, Date). Q.: Приведите безопасные правила регистрации данных (с отрицанием при необходимости) для следующих запросов: (а) Найдите имена …
25 сен '16 в 01:49
0
ответов
Объекты раскраски данных
Извините за возможно глупый вопрос, но я борюсь с проблемой, касающейся ограничений в журнале данных. Я в основном должен раскрасить 2 объекта двумя разными цветами. Проблема в том, что ограничение, которое я должен определить для "2 объектов не мож…
02 май '18 в 19:29
2
ответа
Читать текстовый файл построчно, используя таймер
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", FileMode.Open, FileAccess.Re…
30 июн '18 в 19:24
1
ответ
Какова семантика данных и пролога?
Работает ли регистратор данных на множествах или мультимножествах? То же самое относится и к прологу? Я не смог найти никаких документов по этому поводу.
03 фев '15 в 17:59
1
ответ
.datalog формат с использованием Z3
Я пытаюсь использовать расширение Z3: muZ с ограничениями с фиксированной запятой после этого урока: https://rise4fun.com/Z3/tutorial/fixedpoints. Как отмечено в этом руководстве, принимаются три различных текстовых формата ввода. Базовый каталог да…
11 июн '18 в 15:01
1
ответ
pyDatalog: возможно ли определить несколько независимых сеансов регистрации данных?
Я работаю над кодом, который оценивает данные в базе данных, чтобы увидеть, соответствуют ли экземпляры в потоке входящих событий ряду протоколов. Идея состоит в том, чтобы использовать pyDatalog для этого. В идеале мы хотели бы иметь возможность оц…
20 авг '13 в 11:35
0
ответов
Токен грамматики Antlr не распознается
Здравствуйте, мне нужна помощь с грамматикой antlr4. Я пытался создать парсер для грамматики Datalog. Это всего лишь небольшой фрагмент всего кода. Что бы я ни пытался разобрать, он распознается как прописные или строчные. Токен предиката не распозн…
24 ноя '17 в 08:53
1
ответ
Параметризованный и нечувствительный к регистру запрос в журнале данных (datomic)
Я хочу составить запрос, который принимает имя в качестве входного параметра и возвращает все соответствующие записи. Соответствие должно быть без учета регистра. В качестве примера я хотел бы выделить всех людей по имени Дуглас. Параметризованный, …
23 авг '15 в 07:10
0
ответов
Правило содержит исключение бесконечных сортировок с IntSort
Я новичок в Datalog и двигатель Datalog в Z3. Я пробую некоторые примеры, используя Python API Z3. Это небольшой пример, который я пробую. Я ожидаю использовать аналогичные конструкции (целые числа) для реальной проблемы, которую я попытаюсь решить …
21 апр '18 в 06:46
0
ответов
Как перевести логику предикатов в правило данных
Как перевести логику предикатов в правило данных?
28 фев '19 в 18:18
1
ответ
Возможны ли n-арные предикаты Datomic (n!= 2)?
Я пытаюсь сопоставить то, что я прочитал о Datalog с описаниями Datomic. Все предикаты, которые я вижу в Datomic, представляют собой тройки, то есть [значение атрибута сущности] или атрибут (e,v) в более прологическом синтаксисе. Datalog, с другой с…
16 янв '13 в 11:31
1
ответ
Схема XML для регистрации временных рядов научных приборов
Q: Я знаю, что нет единого идеального ответа на все эти глупости; Я надеюсь, что некоторые опытные знания позволят сузить круг возможных вариантов, некоторую общую стратегию, чтобы избежать ночных кошмаров по конверсии, и любые идеи по сокращению мо…
10 дек '14 в 06:50
2
ответа
Как я могу рассчитать идеальную точку фиксации стратифицированной программы Datalog?
Каков порядок оценки для инструкций в программе Datalog? Всегда ли идеальная точка фиксации является минимальной?
30 ноя '11 в 19:16
1
ответ
Журнал данных для нахождения того же значения атрибутов из модели
Я новичок в даталоге и хочу решить следующее: у меня есть student модель student(name, rollno, city) Теперь я хочу написать программу регистрации данных для нахождения пары студентов из того же города. Это правильно, если я напишу программу следующи…
10 дек '11 в 10:22
0
ответов
Интеграция Datalog с приложениями C++
Я не новичок в программировании, но я новичок в Datalog. Я практиковал Datalog в течение недели, и это очень полезно делать запросы к базе данных. Мне трудно понять, как использовать Datalog с приложением C++. Я хочу, например, принять пользовательс…
24 фев '17 в 19:41
1
ответ
Ищете уникальность в Datalog?
Возможно ли в Datalog написать запрос для фактов, где есть ровно одно значение для одной из переменных, для каждого возможного значения других переменных? например найти все X такой, что есть только один X для каждого Y в expr(X, Y)
25 окт '16 в 13:37
1
ответ
Веб-серверу Arduino Datalogger не удается подключиться к клиенту
У меня есть мега Arduino с Ethernet-экраном + SD-карта, на которой работает регистратор данных датчика с датчиком DHT22, записывающим данные датчика на SD-карту. Я пытаюсь реализовать веб-сервер для чтения этих данных с SD-карты. Я сделал программу,…
13 мар '16 в 15:51
1
ответ
Состав списка DLV
Мне было интересно, есть ли способ в DLV для создания списка с элементами всех предикатов, которые являются истинными в правиле. Например, если у меня есть следующие предикаты foo(a, b). foo(a, c). foo(a, e). foo(b, c). Результат, который я ищу, дол…
23 сен '16 в 08:15
1
ответ
Аннотированные отношения в Datomic
Я надеялся расширить разговор по этому вопросу SO и получить более подробную информацию с точки зрения реализации. Мои требования включают разрешение администратору определять теги для отношения, число которых является произвольным, участвующие субъ…
20 окт '16 в 17:15
1
ответ
Журнал данных ракетки - поддерживается ли '>'?
Предположим, код регистрации ракетки: #lang datalog price(a, 1). a1(A) :- price(A, Price), Price > 0. a1(A)? Я бы ожидал результата: a1(a) Я получаю ошибку: prices_datalog.rkt:4:32: datalog: Unexpected token IDENTIFIER in: ">" Как я могу решит…
23 фев '18 в 12:50