Existence error in user:nth1/3 ! procedure user:nth1/3 does not exist Я включил модуль для списков:: - use_module (library (lists)). но по-прежнему получаю эту ошибку .. Кто-нибудь может помочь?

В настоящее время я начинаю изучать ограничения в прологе, используя SICStus Prolog. Хотя я знаю, как решать простые задачи, используя это, у меня есть одно упражнение, в котором я должен решить головоломку. Однако я понятия не имею, как это решить,...

Я работаю над небольшим приложением на прологе для решения небоскребов и заборов головоломка. Неразгаданная загадка: Решенная головоломка: Когда я передаю программе уже решенные головоломки, она быстро, почти мгновенно проверяет...

Я пишу программу, в которой мне нужно видеть, соответствуют ли строки определенному шаблону. Прямо сейчас я реализовал это в Прологе, как правило, matchPattern (S), с более чем 20 различными определениями. В итоге я запускаю все двоичные строки до...

Я новичок в Prolog и использую Sicstus для отладки своего кода. Есть ли способ просмотреть все привязки, пока вы выполняете запрос с помощью trace/0 ? Или есть какой-то другой способ распечатать во время шагов?

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

У меня есть C-программа в качестве интерфейса для среды выполнения Sicstus Prolog. И я пытаюсь создать список на C, заполнить его и передать в среду выполнения Prolog. Я просмотрел C-библиотеку, но не нашел информации о том, как это сделать. Я...

Вероятно, это связано с файлом comp.lang.prolog. -обсуждение . Я получаю несколько подобных предупреждений, используя Eclipse с SICStus SPIDER: The plain meta argument (Y) is passed as a closure argument (with 0 suppressed arguments) to the...

Итак, ребята, я изучаю ограничения с помощью пролога и пытаюсь решить небольшую головоломку, используя это новое знание. Цель головоломки проста: у меня есть квадратная сетка с некоторыми числами вверху / под каждым столбцом и справа / слева от...

Я хочу отфильтровать этот список List=['F1',a1,a2,' LF2',a1,a2] с предикатом is_upper/2 и maplist/3 ниже is_upper(Elem,Res) : если Elem является атомом в верхнем регистре, он будет назначен Res, тогда я хотел бы поместить все атомы в верхнем...

В SICStus Prolog есть хук для расширения цели: goal_expansion/6 , который вызывается как во время компиляции, так и во время выполнения во время метавызова. Эти вызовы влекут за собой значительные накладные расходы во время выполнения, что замедляет...

Я только что установил SICStus Prolog и плагин SPIDER IDE для Eclipse. SPIDER был установлен с помощью сайта обновлений, и я указал путь установки SICStus в настройках и проверил его. Затем я создал новое рабочее пространство и проект Prolog,...

Есть ли другой способ выйти из SICStus в командной строке без необходимости нажимать ^C плюс e после (я не всегда могу попасть в это «меню справки» с помощью ^C ). «Настоящий» вопрос заключается в том, существует ли такая команда, как :exit...

Профилировщик выполнения SICStus Prolog 4.5.1 сообщил мне следующее: | ?- print_profile. insns try/retry called name ---------------------------------------------------------------- ......