Я только начал играть с core.logic, и чтобы работать над этим, я пытаюсь реализовать что-то простое, похожее на проблему, над которой я сейчас профессионально работаю. Однако одна часть проблемы поставила меня в тупик ... В качестве упрощения...

Следующий код Clojure использует core.logic для решения одной и той же логической задачи с одинаковыми целями в двух разных порядках. Этот выбор порядка приводит к тому, что один быстро завершает работу, а другой зависает. (use...

Я использую Mac OS. Я хочу выполнить системную команду с помощью (use '[clojure.java.shell :only [sh]]) , например, Как выполнять системные команды? . Я прочитал https://clojuredocs.org/clojure.java.shell/sh но не мог понять, сколько...

Я не уверен, почему приведенный ниже код не возвращает никакого результата при использовании -5 в качестве одного из значений домена. user=> (run* [q] (infd q (domain -5 5)) (*fd q q 25)) () user=> (run* [q] (infd q (domain 0 5)) (*fd q q...

Я новичок в clojure, моя функция, имеющая право голоса, не возвращает вектор, где я ошибаюсь. (def human-db [ {:name "Kanishk" :age 28 :sex "male"} {:name "Kanishk1" :age 29 :sex "male"} {:name "Kanishk2" :age 0 :sex "female"} {:name...

Поскольку CLP(set), кажется, застрял в ближайших планах на 7 лет и больше, я пытаюсь сделать неполную, неэффективную замену, чтобы хотя бы отразить семантику членства в наборе. Основная идея состоит в том, чтобы как проверить членство в членоподобной...

Я хотел бы написать предикат спуск, который объявляет, что первая заданная координата [y, x] спускается ко второй заданной координате (представьте себе доску с [0, 0] в левом верхнем углу). Очень простая реализация на Прологе может выглядеть так:...

Я пытаюсь смоделировать отношение порядка между конечным набором задач, используя основную логику. Это то, что у меня есть до сих пор: (def tasks [:t0 :t1 :t2]) (defn tasko [x] (membero x tasks)) (db-rel before-fact x y) (def facts (db...

Я новичок в логическом программировании. Я пытаюсь реализовать отношение сортировки следующим образом: (sorto [3 2 1][1 2 3]) -> #s Я использую clojure и core.logic: Я не понимаю, почему это не может прекратиться в большинстве...

Я ищу идиоматический решатель удовлетворения ограничений, который может максимизировать или минимизировать целевую функцию, а не создавать список соответствующих решений. Если быть точным, меня больше интересует минимизация (например, расхода...