Результаты поиска по запросу "prolog"
Как избежать использования assert и retractall в Prolog для реализации глобальных (или состояний) переменных
Я часто заканчиваю тем, что пишу код на Прологе, который включает в себя некоторое арифметическое вычисление (или информацию о состоянии, важную для всей программы), сначала получая значение, сохраненное в предикате, затем пересчитывая значение ...
Значение индикаторов режима инстанцирования в аргументах предикатов Пролога
Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом: foo(:Bar, +Baz, -Qux, ?Mop)Что:, +, - а также? и как я могу их интерпретировать? Кроме того, это единственные, которые существуют или их больше?
Том, можете ли вы быть более точным в предоставленном вами фрагменте? У меня сложилось впечатление, что это очень неточно. В первом правиле вашего второго фрагмента есть A, B, а также a, b. Это то, что в вашем коде? У вас действительно есть natural_number (0) в первом правиле или у вас есть s (0)?
я следующая процедура для натурального числа - это SWI-пролог: natural_number(0). natural_number(s(X)) :- natural_number(X).Теперь я хочу сделать рекурсивный вызов, который остановится, когда мы прибудем в 0. Мое натуральное число представлено ...
Получение последнего символа строки в Прологе
Мне нужно получить последний символ строки. Например: ?- last_char('abde', X). X = 'e' ?- last_char('abdef', X). X = 'f'Может ли кто-нибудь помочь мне, пожалуйста? Я новичок в Прологе.
+1 за рекламу
не вопрос курсовой работы. Просто мое личное обучение.) Я пытаюсь выполнить упражнение в Прологе, чтобы удалить элементы из списка. Вот мой код: deleteall([],X,[]). deleteall([H|T],X,Result) :- H==X, ...
Пролог - как сделать setof, который возвращает пустой список вместо сбоя
Мне нужен упорядоченный список объектов, которые удовлетворяют цели.setof заботится о порядке, но терпит неудачу, когда никакие объекты не удовлетворяют цели. Я хочу вернуть пустой список вместоfindall делает. Это работает, но есть ли способ ...
Пролог - Разбор
Я новичок в языковом прологе и получил задание, касающееся разбора в прологе. Мне нужна помощь в решении проблемы. В задании у нас есть грамматика: Expr ::= + Expr Expr | * Expr Expr | Num | Xer Xer ::= x | ^ x Num Num ::= 2 | 3 | .... a ...
@bennyty: эта документация немного вводит в заблуждение.
ы пишете процедуру Прологmap(List, PredName, Result) который применяет предикатPredName(Arg, Res) к элементамListи возвращает результат в спискеResult? Например: test(N,R) :- R is N*N. ?- map([3,5,-2], test, L). L = [9,25,4] ; no
и для брата:
лал это, но это не показывает ответы Когда я спрашиваю о братьях, сестрах, дядях, тетях Это то, что я написал, что не так? /*uncle(X, Y) :– male(X), sibling(X, Z), parent(Z, Y).*/ /*uncle(X, Y) :– male(X), spouse(X, W), sibling(W, Z), parent(Z, ...
А что касается производительности, рассмотрим:
ужна помощь в написании предиката в Прологе, который, учитывая число в качестве входных данных, возвращает список списков с числами, которые дополняют его. Давайте назовем предикатaddUpList / 2, это должно работать так: ?- addUpList(3,P). P = ...