Результаты поиска по запросу "prolog"
После того, как я добавил этот ответ, я проверил свои заметки и обнаружил, что с тех пор, как я сделал это несколько лет назад, код был перемещен в GitHub, :), но процесс сборки также был изменен. Старая версия, которую я имею, строит 32-битную и отдельную 64-битную версию. Сборка GitHub предназначена только для 64-битной версии, насколько я могу судить. Большинство заметок, которые у меня были, все еще действительны, но сейчас я проверяю код в GitHub.
азовательных целях один из предметов нашего колледжа требует проекта, который объединяет любой экземпляр Prolog с любым другим языком поддержки GUI. Я пошел с C #, так как у меня больше всего опыта с ним. Я пытаюсь учиться на примере коллег по ...
в других вопросах StackOverflow, но не для Пролога.
логическую программу для kth_largest (Xs, K), которая реализует линейный алгоритм для нахождения k-го наибольшего элемента K из списка Xs. Алгоритм имеет следующие этапы: Разбейте список на группы из пяти элементов.Эффективно найти медиану ...
лучше использовать здесь.
у задать вопрос о возвращении списка ... Факты: КОМАНДА (TEAMNAME, ДИРЕКТОР, NATIOANALITY, OVERALLGOAL) team (milan,allegri,italy, 8.5). team (inter,benitez,italy,7.6). team (barcelona,guardiola,spain,7.8). team ...
ignore / 1 вызывает единственный аргумент и завершается успешно всякий раз, когда он терпит неудачу или нет:
ужно выполнить домашнее задание, используя пролог (SWI-аромат), и я не могу разобраться с некоторыми вещами. Например, если я хочу перебрать список и добавить его элементы в другой, но ТОЛЬКО если они удовлетворяют определенному условию, как бы ...
Том, можете ли вы быть более точным в предоставленном вами фрагменте? У меня сложилось впечатление, что это очень неточно. В первом правиле вашего второго фрагмента есть A, B, а также a, b. Это то, что в вашем коде? У вас действительно есть natural_number (0) в первом правиле или у вас есть s (0)?
я следующая процедура для натурального числа - это SWI-пролог: natural_number(0). natural_number(s(X)) :- natural_number(X).Теперь я хочу сделать рекурсивный вызов, который остановится, когда мы прибудем в 0. Мое натуральное число представлено ...
@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
Обратите внимание, что в то же время некоторые из этих предикатов являются частью GNU, поскольку они являются частью пролога Пролога: succ / 1, между / 3.
их реализациях Пролога отсутствуют некоторые предикаты, доступные в других. Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog». Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для ...
читать строку в атомном списке в прологе
Мне нужно прочитать любую строку (из user_input) в атомарный список, например: Example line, which contains any ASCII chars.в: [Example,'line,',which,contains,any,ASCII,'chars.']что у меня так далеко: read_line_to_codes(user_input, Input), ...
Имена переменных в прологе SWI
Я использовал библиотеку chr вместе с интерфейсом jpl. У меня есть общий запрос, хотя. Я отправляю ограничения из пролога SWI в экземпляр класса Java из моей программы CHR. Дело в том, что если входное ограничение, например, leq (A, B), имена ...
Расширение DCG: Стойкость игнорируется?
Предположим, у меня есть следующее правило DCG: factor(X) --> "(", expr(X), ")".Обычно это будет переведено на: factor(X, A, B) :- [40|C] = A, expr(X, C, D), [41|B] = D.Разрешено ли системе Пролога переводить ее следующим образом, ...