Граф БД против Пролога (или miniKanren)

mini-kanren В чем разница между cond-a cond-u и cond-e?

Я попытался использовать реализацию мини-канрена в clojure. Но изо всех сил пытался понять разницу между cond-a cond-u и cond-e. Кажется, я вполне понимаю, ч...

Пролог сопоставления против объединения miniKanren

В «Прологе - Программирование для искусственного интеллекта» Братко говорит следующее на странице 58.«Сопоставление в Прологе соответствует тому, что называе...

Каковы основные технические различия между Prolog и miniKanren в отношении логического программирования? [закрыто]

Когда я хочу прочитать о логическом программировании, я всегда спотыкаюсь о двух «основных» способах сделать это в настоящее время:miniKanrenмини-язык введен...

Clojure core.logic CLP (FD) проецирует переменные FD

я работаю над наивным алгоритмом квадратной упаковки, используя Clojure 's core.logic CLP (FD) библиотека (core.logic версия 0.8.3).Квадраты представлены...

Clojure core.logic CLP (FD) проецирует переменные FD

Я работаю над простым алгоритмом квадратной упаковки, используя библиотеку Clojure core.logic CLP (FD) (core.logic версия 0.8.3). Квадраты представлены так: [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]]с каждым квадратом, представленным как ...