Этот код является частью программы, которую я пишу для решения шифровальной головоломки на прологе. Я решаю это с помощью CLPFD (SICStus Prolog). Я получаю сообщение об ошибке при использовании встроенного оператора целочисленного деления «//»...

В настоящее время мы используем версию SICStus: 3.12.10 и patch1 (x86-linux-glibc2.3) для 32-битной платформы. Мое требование: в соответствии с новым требованием мы должны обновить SICStus Prolog версии 4.2.3, а платформа x86 изменена с 32-битной на...

У меня проблема в Prolog относительно добавления новых фактов в файл «Relations.pl». Каждый раз, когда я получаю факты, я сохраняю их и использую tell('relations.pl'). listing(relation). told. Единственная проблема в том, что я хочу вставить...

Все еще изучая основы SICStus Prolog 4 FFI to C, у меня есть конкретный вопрос о примере предиката c1/2 в https://sicstus.sics.se/sicstus/docs/latest4/html./sicstus.html/Foreign-Code-Examples.html#Foreign-Code-Examples . ex.pl включает строку:...

Я хочу разделить файл данных на список фактов, таких как functor(arg1, arg2, ..., argN) , имя функтора которого является строкой верхнего регистра , а аргументы — строками нижнего регистра , которые следуют за ними, впоследствии новые предложения...

Я использую целые числа произвольной точности для представления плотных битовых векторов размером от дюжины до нескольких тысяч. Мой код часто должен проверять, установлены ли определенные биты (или нет), поэтому я провел несколько микротестов,...

Как я могу получить пролог SICStus JIT использовать любой из следующих ISA ? ИМТ Intel : POPCNT , LZCNT , TZCNT , PDEP , PEXT Intel CLMUL : PCLMULQDQ ARM AArch64 : RBIT Они нужны мне для дополнительной зарядки clpz...