Результаты поиска по запросу "sicstus-prolog"

Я пытаюсь решить проблему обработки ограничений в прологе. Мне нужно упаковать 4 квадрата 5x5,4x4,3x3 и 2x2 в сетке 10x10. Они не могут пересекаться. Мои переменные выглядят так: Name: SqX(i), i=1..10, domain: 1..10Где X 5,4,3 или 2. Индекс i ...

prolog swi-prolog clpfd

4 ответа

Получение порядка в разрешении предикатов

Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски): result(Input,Result) :- Input #> 10, Result=decline. result(Input,Result) :- Input in 0..20, Result=offer.Возможный запрос выглядит так: ?- result(15,B). B = ...

prolog fibonacci clpfd

6 ответов

Обобщающая последовательность Фибоначчи с помощью SICStus Prolog

Я пытаюсь найти решение для запроса по обобщенной последовательности Фибоначчи (GFS). Вопрос: есть ли GFS, у которых 885 в качестве 12-го числа? Начальные 2 ...