clpfd

1зной

1ответ

Простая программа Пролог: ошибка «Аргументы недостаточно создаются»

Я пишу предикат Пролога, который отсекает первые три элемента из пронумерованного списка и печатает результат. Пример нумерованного списка: [e(f,1),e(o,2),e(o,3),e(b,4),e(a,5),e(r,6)]. Оригинальный

4зной

1ответ

Линейное уравнение с одним неизвестным с помощью пролога

Мне интересно, как решить основное линейное уравнение с одним неизвестным. Я попытался сделать это путем разделения строк, чтобы получить все, что мне нужно для решения уравнения, но я уверен, что ест

2зной

1ответ

Ошибка компиляции при смешивании CLP (FD) и конструкции if-then-else

Я не понимаю, почему следующий код не компилируется; она производит put_attr/3: Uninstantiated argument expected, found 2 (1-st argument) ошибку: :- use_module(library(clpfd)). test(X, Y) :- (

2зной

1ответ

Ограничения по произвольным подстрокам длины с использованием CLP (FD)

Я пытаюсь обернуть голову вокруг CLP (FD). Вот простой пример того, где я не уверен в самом идиоматическом подходе. Предположим, у нас есть Список чисел (L), с некоторыми номерами, которые уже заполне

1зной

1ответ

Ошибка синтаксиса: ожидаемый оператор (оператор do)

Я в настоящее время новичок в Prolog, и я столкнулся с ошибкой оператора. Согласно компилятору, он должен что-то сделать с помощью инструкции do. Любое руководство будет очень признательным. Спасибо.

0зной

1ответ

Реализация Восемь (не атакующих) рыцарей с использованием Prolog

В настоящее время я работаю над алгоритмом, который пытается найти все решения на вопрос: «Сколько способов разместить 8 Рыцарей на плате 8x8 в таком что никто из них не может атаковать друг друга? "

11зной

3ответ

Активация акцептирующего эффекта

Как правильно записать аксиому эффекта для пустого (b, t) -действия с использованием предиката содержит (b, l, t) Предикат оценивает значение True, если ведро b удерживает l литров воды в момент време

3зной

2ответ

функция Modulo и вариабельный домен

Вот простой CLPFD соотношение: 1 #= 81 mod X. Это возвращает: X in inf.. -1\/1..sup, 81 mod X#=1. Если моя математика не является абсолютно неправильным, не область X быть -80.. -1\/1..80?