clpfd

2зной

1ответ

Как присвоить значение переменной в CLPFD?

Существует предикат indomain/1 в manual, который присваивает значения переменной (назовем ее X) в порядке возрастания с помощью обратного отслеживания. Я хотел бы изменить порядок значений, назначенны

1зной

1ответ

Как определить переменные для следующего сценария в CLPFD?

У меня есть набор переменных T_1, T_2, ..., T_N, и я хотел бы переписать следующий псевдокод в CLPFD: T_1 in 0..59, T_2 in 0..59, ... T_n in 0..59, all_different([T_1, T_2, ..., T_n]), FOREACH

3зной

2ответ

Prolog Sudoku решатель вопрос

Я пытаюсь написать судоку 9 x 9 решатель. Я использовал этот следующий код: :-use_module(library(clpfd)). solve(X, Grid):- X = [A1, A2, A3, A4, A5, A6, A7, A8, A9, B1, B2, B3, B4, B5, B6, B7,

2зной

1ответ

Производительность библиотеки CLP над конечными доменами Prolog

Я программирую планировщик задач/планировщик в Prolog, и для этого я планирую использовать CLPFD library (на SWIPL). Мне было интересно, насколько мощным является использование конечных доменов для ре

0зной

1ответ

Портирование ECLiPSe на Prolog

Я решил проблему с назначением статей на конференции с использованием ECLiPSe. Цель: аналогичные статьи должны быть в тех же сеансах. Это решение, которое работает в упадке: :- lib(fd). paper(1,

3зной

2ответ

Как добавить переменную домена в global_cardinality?

Я пытаюсь добавить ограничение global_cardinality к моей программе и в manual of SICStus Prolog написано: global_cardinality (+ Xs + Vals) global_cardinality (+ Xs + Vals, + Options) где Xs = [X1, ...

3зной

1ответ

Возможно ли установить домен переменной как перечисление имен в clpfd?

можно указать домен переменной таким образом: MyVar in 1..10 или MyVar in {1,10,15} , но у меня есть переменная, которую я хотел бы уточнить, как это: Activity_1__room in {room_1, room_2} % i.e. a

1зной

2ответ

Как сократить следующую программу?

Я хотел бы сократить следующую программу. Простое изображение содержит десятки переменных вместо X и Y. Проблема в том, что мне нужно определить домен для каждой переменной отдельно. Мне это не нравит