Вопросы по теме 'logic-programming'
Помощь с предложениями пролога
emissionOf(alpha).
emissionOf(beta).
detected(proton), detected(electron) :- emissionOf(alpha), emissionOf(beta).
Я столкнулся с проблемой, что по какой-то (вероятно, очевидной) причине Prolog не принимает последнюю строку приведенного выше...
293 просмотров
schedule
31.01.2023
Как работает добавление в форму? (раздел SICP по логическому программированию)
В настоящее время я работаю над разделом SICP по логическому программированию, но я застрял в примерах, касающихся логических выводов, особенно правил добавления в форму. Как они работают? Чего я не совсем понимаю, так это того, как второе правило...
412 просмотров
schedule
01.07.2022
Логическое программирование не на Прологе
Существуют ли хорошие языки логического программирования, отличные от Prolog или основанные на Prolog?
У кого есть или положительный опыт?
1107 просмотров
schedule
11.03.2022
Как генерировать отрицательные примеры в индуктивном логическом программировании?
Я пытаюсь изучить правила головоломок и настольных игр, наблюдая за человеком, использующим индуктивное логическое программирование. Я использую PROGOL, программу для ILP, написанную на Прологе. В то время как для некоторых игр он может правильно...
456 просмотров
schedule
22.03.2024
Моделирование рецептов и доступных ингредиентов с логикой ограничений
Представьте, что у меня есть несколько рецептов различных блюд и кладовая с различными ингредиентами на кухне. Я хочу построить модель, используя core.logic , которая позволит мне ответить на следующий вопрос: для заданного набора ингредиентов (т.е....
142 просмотров
schedule
27.05.2022
Пролог: как реализовать сумму квадратов двух наибольших чисел из трех?
Упражнение 1.3 из книги Структура и интерпретация компьютера Программы запрашивает следующее:
Определите процедуру, которая принимает три числа в качестве аргументов и возвращает сумму квадратов двух больших чисел.
Я изучаю Пролог....
807 просмотров
schedule
31.12.2022
Арифметические операции в начале предложения
Я пишу предикат Пролога, который сравнивает некоторую точку ( myPosition(2,2) ) в декартовой системе координат с какой-то другой точкой по соседству. В результате он должен показать направление (север, восток, юг, запад), которое мы должны выбрать,...
92 просмотров
schedule
07.05.2023
Максимальный минимум и среднее значение в журнале данных
Я не могу понять, как рассчитать среднее, максимальное и минимальное значение с помощью языка программирования декларативной логики Datalog.
Например. Учитывая эту простую схему
Flows(Stream, River)
Rivers(River, Length)
Если я хочу
а)...
1882 просмотров
schedule
18.06.2023
Есть ли логика для всех в clojure.core.logic?
Я пытаюсь решить первую головоломку в книге Смаллиана «Издеваться над пересмешником» с помощью clojure.core.logic не потому, что это особенно сложно, а скорее в качестве упражнения. В загадке говорится, что есть сад с цветами трех цветов: красный,...
202 просмотров
schedule
14.12.2022
Как создать динамические арифметические факты в pyDatalog?
Мне нужно создать простую машину Datalog (что означает, что я ввожу 2 файла: 1. факты, 2. правила). В настоящее время я использую пакет pyDatalog. Мне нужно анализировать факты и динамически создавать термины.
из учебника pyDatalog я нашел этот...
219 просмотров
schedule
05.12.2022
Как работает получение наибольшего значения с помощью логического программирования с И, НЕ и ›
Речь идет о логическом программировании из раздела Структура и интерпретация компьютерных программ .
Это простая проблема понимания того, как получить наибольшее значение.
Это пример базы данных:
((is-student Anna)
(is-student Bart)...
55 просмотров
schedule
30.03.2024
Как создать арифметические предикаты в pyDatalog?
как перевести этот арифметический предикат в допустимый предикат pyDatalog?
добавить (X, Y, Z) ← X + Y = Z
Например:
?Добавить(5, 7, Z).
ответ должен быть: добавить (5, 7, 12).
Спасибо!
181 просмотров
schedule
23.05.2023
Как запретить обоснование ложных фактов в Answer Set Programming/Gringo
Когда я запускаю гринго в своей программе, это приводит к множеству обоснованных утверждений формы
:- foo(a,b).
Затем я также получаю много обоснованных ограничений, таких как:
:- bar(a,x,y), foo(a,b).
Учитывая знания выше, они...
56 просмотров
schedule
11.02.2024
Синтезировать наименьшую карту, удовлетворяющую ограничениям featurec в core.logic?
В core.logic есть ли способ перевести выходные данные такой программы, как
(run 2 [q]
(fresh [a]
(featurec q {:foo a})
(membero a '(5))
(conde
((featurec q {:bar 2}))
((featurec q {:baz 2})))))
в наименьшие карты,...
98 просмотров
schedule
22.04.2022
Ожидается, что программа Clingo будет удовлетворительной
Я тестирую некоторые программы, использующие арифметику в Clingo 5.0.0, и я не понимаю, почему следующая программа неудовлетворительна:
#const v = 1.
a(object1).
a(object2).
b(object3).
value(object1,object2,object3) = "1.5"....
41 просмотров
schedule
27.07.2023
Clingo: операция не определена
Добавление следующего правила в мой код приводит к сообщению об ошибке ( info: operation undefined (Max-Min) ):
rank_difference(Room, Deck, Diff) :-
played(Room, Deck),
Min = #min {Rank: seat(Player, Room, Deck), rank(Player, Rank)},...
86 просмотров
schedule
08.10.2023
