minikanren

5зной

1ответ

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

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

prolog clojure-core.logic minikanren 2015-11-17

---

3зной

1ответ

Почему «The Reasoned Schemer» добавляет «o» к концу своих функций?

В мотивированном интеграторе они называют стандартными функциями lisp с «o» на конце, например conso и appendo. Мой вопрос: Почему «Обоснованный Schemer» добавляет «o» к концу своих функций?

scheme minikanren 2015-06-25

---

8зной

1ответ

Граф DB против Prolog (или miniKanren)

Недавно я искал в таких базах данных, как Neo4j, и в логическое программирование в Prolog и miniKanren. Из того, что я узнал до сих пор, оба позволяют указывать факты и отношения между ними, а также з

neo4j prolog graph-databases minikanren 2015-03-22

---

1зной

1ответ

Какие алгоритмы используют clojure's core.logic для решения?

Согласно wikipedia, пролог использует SLD Resolution. Каковы основные алгоритмы, управляющие решением в core.logic?

clojure prolog clojure-core.logic minikanren 2016-11-16

---

93зной

2ответ

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

Когда я хочу, чтобы прочитать о логическом программировании я всегда спотыкаются два «главных» способов сделать это в наше время: miniKanren, minilanguage введен в The Reasoned Schemer и популярных на

prolog logic-programming minikanren 2015-02-12

---