Я пытаюсь найти минимальное значение списка (в качестве учебного опыта, поэтому без min ). Мой подход следующий: minimo([X], X). minimo([X,Y|Tail], N):- (X > Y, minimo([Y,Tail], Y)); (X <= Y, minimo([X,Tail], X)). Это дает...

Рассмотрим следующее расширение контекстно-свободных грамматик, позволяющее правилам иметь в левой части один (или более) терминал справа от нетерминала. То есть правила вида: A b -> ... Правая часть может быть чем угодно, как в...

Common Lisp позволяет обрабатывать исключения через условия и перезапуски . Грубо говоря, когда функция выдает исключение, «ловец» может решить, как/должен ли действовать «выбрасыватель». Предлагает ли Prolog подобную систему? Если нет, можно ли...

Мне нужно экспортировать в файл программу Prolog, выраженную с использованием произвольного представления термина в Java. Идея состоит в том, что интерпретатор Пролога должен иметь возможность впоследствии обращаться к сгенерированному файлу. Мой...

Хорошо, я знаю, что это очень общий вопрос и что по этому вопросу было написано несколько статей, но у меня такое ощущение, что эти публикации охватывают очень базовый материал, и я ищу что-то более продвинутое, что улучшило бы стиль и эффективность....

Как определить мета-логический предикат, который проверяет (то есть успешно или только неуспешно), если два списка уникальных переменных содержат точно такие же переменные, используя встроенные модули из текущего стандарта ISO (ISO / IEC 13211-1:...

Как я могу добавить функцию (например, hammingweight) и использовать ее в выражениях, встречающихся в правой части, это некоторая (is)/2 цель? Может ли здесь помочь что-то вроде target_expansion или term_expansion? Я признаю, что это небольшая...

Если я наберу в SWI Prolog запрос "nth0", результат будет таким: ?- nth0(N,X,a). N = 0, X = [a|_G282] ; N = 1, X = [_G281, a|_G285] ; N = 2, X = [_G281, _G284, a|_G288] ; ... etc однако в руководстве SWI сказано: Errors...

Есть ли способ составить список всех предикатов, определенных в данном библиотечном модуле для SICStus Prolog? например если я загружу модуль списков: | ?- use_module(library(lists)). есть ли другой предикат, который я могу запустить из...