Увеличьте размер стека во время выполнения в Swi-prolog
Я использовал set_prolog_flag(stack_limit, 5000000000). в своем коде.
Но затем я получил следующую ошибку:
ERROR: No permission to modify static procedure "set_prolog_flag/2"
Кажется, у меня нет разрешения на изменение размера стека. Есть ли решение?
Кажется, вы добавили это как факт. Нужно оформить это как цель, скажем, на высшем уровне или как директиву.
Ответы 1
Эмолай, кажется, что вы ознакомились с устаревшей информацией. Вам нужно установить ограничения стека следующим образом:
:- set_prolog_stack(стек, лимит(5000000000)).
Видишь двоеточие+минус? Это означает, что цель set_prolog_stack/2 должна быть выполнена и не определяет новое предложение set_prolog_stack/2. Это объясняет ошибку, которую вы получили.
Теперь вы можете идти. Ваш вопрос решен?
Спасибо, я действительно решил проблему, прочитав комментарий @false. Спасибо за ваше время, а также :)
Возможно, это может помочь: swi-prolog.org/FAQ/StackSizes.html