0
ответов
Насколько похожи языки реляционных баз данных и логическое программирование?
Каковы сходства и различия с точки зрения фундаментальных концепций и реализации между языком реляционной базы данных sql и языком логического программирования, таким как prolog и clojure?...
вопрос задан: 22 July 2016 06:25
0
ответов
Выражая, что определенное подмножество X имеет свойство Y в core.logic
Я хочу: Описать факт о подмножестве класса объектов.
Объявите, что объект имеет свойство, состоящее из других свойств. В качестве примера возьмем следующее: Красные птицы-роботы - это ...
вопрос задан: 28 December 2015 23:56
0
ответов
Устранение повторяющихся результатов при запросе генеалогического дерева с помощью core.logic
Я моделирую семейное дерево с помощью core.logic. Я хотел бы запускать * запросы и возвращать все результаты без дублирования. Замена всех defn на def tabled дает мне ожидаемые результаты (...
вопрос задан: 28 December 2015 23:40
0
ответов
Как смоделировать «внешнее соединение» в core.logic?
Я только начал играть с ядром.логики, и для работы над ней я пытаюсь реализовать что-то простое, похожее на проблему, над которой я сейчас профессионально работаю. Однако одна часть ...
вопрос задан: 7 October 2014 19:13
0
ответов
Краткое объяснение Core.logic
Я хочу использовать Core.logic от Clojure. Тем не менее, я хочу также понять, как это работает. Где-то есть краткое объяснение? (Нравится реализация метациклического оценщика? )Спасибо!
вопрос задан: 24 March 2014 20:13
0
ответов
mini -Kanren, core.logic, clojure :Reasoned Scheme, упражнение 60
Это НЕ домашнее задание --, решение уже есть в тексте. Я просто не понял решения. Задача (запуск*(д)(пусть [a (== true q )b (== false q )] b ))Правильное решение (...
вопрос задан: 19 March 2014 12:16
0
ответов
Конда, Конди, Конде, Проводник
Я читаю Разумный интриган. У меня есть некоторая интуиция о том, как работает Конде. Тем не менее, я не могу найти формальное определение того, что делают conde / conda /du / condi. Мне известно о https: //www.cs.indiana.edu/~ ...
вопрос задан: 20 June 2012 19:03