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

4 ответа

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

Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски):

2 ответа

функциональность make / 0 для SICStus

Как я могу гарантировать, что все модули (и в идеале также все другие файлы, которые были загружены или включены) обновлены? При выдаче

4 ответа

Обработка ограничений Prolog: Упаковочные квадраты

ТОП публикаций

4 ответа

Обработка ограничений Prolog: Упаковочные квадраты

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

4 ответа

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

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

6 ответов

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

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