Публикации по теме 'logic-programming'
Неиспользованный золотой рудник программирования, о котором практически никто не знает
Как программист, вы можете почувствовать, что изучили каждый уголок области, от классических языков, таких как C и Java, до более новых вариантов, таких как Python и Ruby. Но существует огромный мир языков программирования и подходов, которые многие разработчики даже не рассматривают. В этом сообщении блога мы рассмотрим некоторые менее известные языки программирования и методы, которые могут предложить новые возможности для роста и инноваций в вашей карьере.
Одной из областей, которую..
Пролог не так сложен, часть 2
[Целевая аудитория: программисты .]
Продолжая наш разговор о Прологе, давайте улучшим наш файл фактов, включив некоторые другие вещи, которые « удивительны » или « отстойны »:
awesome(linux).
awesome(freebsd).
awesome(openbsd).
awesome(icecream).
awesome(python).
awesome(prolog).
sucks(windows).
sucks(xml).
sucks(odata).
sucks(ldap).
Ничего себе, это кажется немного запутанным. Давайте лучше организуем, добавив еще несколько фактов обо всех этих вещах:
os(linux).
os(freebsd)...
Вопросы по теме 'logic-programming'
Как лучше всего использовать логическое программирование?
Под логическим программированием я подразумеваю субпарадигму декларативных языков программирования. Не путайте этот вопрос с вопросом «Какие проблемы можно решить с помощью if-then-else?»
Такой язык, как Prolog, очень увлекателен, и его стоит...
16867 просмотров
schedule
18.09.2021
Упорядочивание целей в Clojure `core.logic`
Следующий код Clojure использует core.logic для решения одной и той же логической задачи с одинаковыми целями в двух разных порядках. Этот выбор порядка приводит к тому, что один быстро завершает работу, а другой зависает.
(use...
500 просмотров
schedule
19.11.2021
Спецификация ограничений сплава
Я написал следующий блок кода в Alloy:
one h: Human | h in s.start => {
s'.currentCall = h.from
}
Я хочу выбрать одного «человека» из набора людей (s.start) и установить переменную (s'.currentCall) равной h.from. Однако я думаю, что...
152 просмотров
schedule
29.11.2021
WARMR (набор ACE): исключить связанные термины из частых шаблонов
Я использую алгоритм частых шаблонов WARMR в пакете интеллектуального анализа данных ACE. вот игрушечный пример, иллюстрирующий мою проблему.
представьте, что у вас есть, скажем, 20 примеров (_1 _, ..., _ 2_) и только один предикат, назовите его...
161 просмотров
schedule
23.10.2021
Использование java в предикативной логике
Посылки (до пункта 7 давайте притворимся, что все они верны, разумны или уместны, пожалуйста)
(1) Java бесплатна, имеет Swing, Javafx и т. д.
(2) О Java есть много документов, туториалов и т.д.
(3) Я хотел бы использовать его для своего рода...
203 просмотров
schedule
22.02.2022
Выразителен ли почти чистый Пролог?
@ false прокомментировал ранее :
Да, вы можете реализовать машину Тьюринга без dif/2 . Но вы даже не можете реализовать пересечение или аналогичные предикаты.
Предположим, мы расширяем чистый Пролог ( Horn FOL + CWA + UNA ) с...
536 просмотров
schedule
17.03.2022
Замена последовательных элементов списка в Prolog
Я пытаюсь написать код на Прологе, который может поменять местами два элемента списка, но только если они последовательны друг другу . Это,
conseq_swap(d, e, [a, g, d, e, f], X).
должен дать:
X = [a, g, e, d, f].
(d и e идут...
1469 просмотров
schedule
04.06.2022
Можно ли использовать pyDatalog для проверки всех зависимостей данных?
Я пытаюсь использовать pyDatalog , чтобы определить, удовлетворены ли зависимости для различных функций. Некоторые библиотеки (lA,lB,...) предоставляют выходные данные (1,2,...), необходимые для функций (fX,fY,...).
Например:
+has("lA", 1)...
127 просмотров
schedule
01.08.2022
Логика включения/выключения пользователя в панели управления
У меня проблема, делаю систему на php и должно показывать сколько пользователей онлайн и сколько оффлайн.
поэтому я сделал столбец "онлайн типа int" 0 = офлайн, 1 = онлайн.
при входе пользователя в систему переключается на 1, а при нажатии...
35 просмотров
schedule
23.09.2022
Встроенный интерпретатор / компилятор пролога для Java
Я работаю над приложением на Java, которое должно выполнять некоторые сложные логические выводы в рамках своей функциональности. Я хотел бы закодировать свои логические выводы в Prolog или другом языке программирования логики / ограничений вместо...
10548 просмотров
schedule
21.02.2023
Игра Prolog Nim - ошибка вне локального стека
В последнее время я занимался Прологом. И я прочитал книгу Искусство Пролога. У них там есть реализация игры Ним. Итак, я переписал его на SWI-Prolog, и все выглядит нормально, за исключением этой ошибки Out of local stack. После отладки я...
2483 просмотров
schedule
11.05.2023
Каковы хорошие / установленные стратегии поддержки базы данных для логического программирования в clojure
Мне трудно найти исчерпывающую информацию о стратегиях создания (дедуктивной) базы данных для запросов фактов с использованием подхода логического программирования, такого как core.logic . Большинство примеров, которые можно найти, имеют дело с...
219 просмотров
schedule
16.10.2022
Программирование ограничений Eclipse - search/6
Мне трудно понять это документация по функции search/6 в среде программирования ограничений eclipse.
Я понимаю, что параметр выбора в основном влияет на порядок значений.
Также кажется, что метод выбора выбирает порядок переменных, но я не...
235 просмотров
schedule
19.01.2023
Пролог - какие предложения нельзя выразить
Мне было интересно, какие предложения нельзя выразить на Прологе? Я изучал логическое программирование в целом и узнал, что логика первого порядка более выразительна по сравнению с логикой определенных предложений (предложение Хорна), на которой...
993 просмотров
schedule
28.06.2023
Пролог - список в порядке убывания
Я пытаюсь написать функцию - decListRange(X,List) , которая дает список в диапазоне [X-1:1] в порядке убывания. Например - decListRange(9,List).
Дам -
List = [8,7,6,5,4,3,2,1].
Я пробовал следующее, но он переходит в бесконечный...
2560 просмотров
schedule
25.07.2023
Пролог: перечислить все элементы счетно бесконечных результатов
Существуют ли какие-либо реализации пролога, которые могут перечислить все элементы счетно бесконечных результатов?
Рассмотрим перечислить все пары натуральных чисел. Если мы перечислим пары в порядке {(0,0), (0,1), (1,0), (0,2), (1,1), (2,0),...
451 просмотров
schedule
04.09.2023
как множества и отношения полезны и связаны с логическим программированием?
я начинаю с логического программирования, но сначала я вынужден заняться дискретной математикой. но я не вижу здесь связи. Однако наборы используются в логике предикатов, но отношения, как они связаны с логическим программированием.
69 просмотров
schedule
04.07.2023
Как отозвать правила из pyDataLog
Я реализую алгоритм, подобный FOIL, в котором я хочу эффективно проверять различные гипотезы (т. е. предложения), оставляя остальные данные нетронутыми. Мне было интересно, как без использования функции clear() я могу отменить правило?
114 просмотров
schedule
03.11.2022
Пролог: запрос, если что-то не удовлетворяет предикату
Я уверен, что это серьезный вопрос, но как мне просить о вещах, которые удовлетворяют одному предикату, а не другому?
Например. в базе данных людей и мороженого,
person(john).
person(jane).
person(nicholas).
likes(john,strawberry)....
24 просмотров
schedule
30.03.2023
Как нарисовать SLD-дерево для этого запроса
a ↔ b
↙ ↑
c → d
path(X, X, Y).
path(X, Y, s(Z)) :- edge(X, A), path(A, Y, Z).
path(X, Y, Z) :- eps(X, A), path(A, Y, Z).
edge(a, b).
edge(b, a).
edge(c, d).
edge(d, b).
eps(b, c).
И path(X,Y,k)...
134 просмотров
schedule
29.04.2023