Я пытаюсь закодировать проблему "Мирных армий королев". Цель состоит в том, чтобы поставить...

Я использую clpfd и у меня 5 переменных, как я могу убедиться, что максимум 3 из этих 5 переменных...

когда я фиксирую запрос: ?- X in 1..2, length(List,X). возвращаемые результаты: X = 1, List =...

Код ниже проверяет, является ли данный год високосным или нет.Арифметика формулируется с...

Имея список с независимыми переменными, чей домен равен 1..N, как мы можем использовать маркировку...

«Очевидное» - это не просто слово, которое часто обсуждают, но почему CLPFD SWI-Prolog правильно...

У меня есть список, определенный в одной части моей программы как people([tom,betty,sue,fred...

Я решаю проблему планирования (кратко описано здесь: Планирование SWI Prolog CLP (FD) переключено...

После того, как findall (+ Template,: Goal, -Bag) соберет первый успешный результат и поместит его...

Я решаю задачу планирования в SWI Prolog с использованием библиотеки CLPFD.Так как я впервые решаю...

Я видел несколько примеров решателя кирптарифметических головоломок с использованием библиотеки...

Я сейчас решаю задачу планирования, и я немного застрял в том, как описать количество или...

(ns verbal-arithmetic (:require [clojure.core.logic :refer [all run* everyg lvar == membero fresh...

Например, скажем, у меня есть эта программа (проверена только на swi-прологе): :-...

Допустим, у меня есть такая матрица: M([[150, _], [130, _], [160, _], [100, _], [100, _], [100,...

Если я запускаю solved([[x, o, o], [o, o, o], [o, o, o]]), он должен вывести true, поскольку есть...