prolog

1зной

1ответ

Пространственная эффективная реализация неизменной карты в Prolog?

Это вопрос о структуре карты, которая сохраняет память при тяжелых неразрушающих манипуляциях. Контекст Я пишу небольшую программу, в результате чего я произвожу «состояния» (которые только термины, с

1зной

1ответ

Как связать все комбинации пролога с clp (fd)?

То, что я хотел сделать, это сгенерировать все комбинации элементов из данного списка. Например: Из [a, b, c], я могу: [] [a] [b] [c] [a,a] [a,b] [a,c] [b,a] ... И так далее. Возможно, есть

1зной

2ответ

Прологе список рекурсии

Цель моего предиката: ?- line_terminal_stations(east_london, StartsAt, EndsAt). StartsAt = shoreditch EndsAt = new_cross Ниже то, что я до сих пор, рекурсии работает, как ожидалось, и постепенно с

1зной

1ответ

Как я могу найти все связанные города на графике с помощью Prolog?

Программа должна проверить, существует ли прямой маршрут между двумя указанными городами. Кроме того, он может перечислить все связанные города для данного города. Мое решение: Я держу список городов,

0зной

1ответ

семантика предлогов-фраз, прилагаемых к глаголам Prolog

Я пытаюсь реализовать прилагательные фразы в прологе. Так что я получил: VP -> Vbar Vbar -> v, PP PP -> Pbar Pbar -> prep,np проблема, когда я пытаюсь что-то вроде фразы «Мэри увидела Тома с п

1зной

1ответ

Пролог: Поиск следующей даты

Итак, я застрял в этой проблеме часами, и я не могу найти решение. Мне нужно, учитывая текущую дату, и зная, что самолеты взлетают во вторник, в четверг и субботу в 6:00, подсчитывают дату и время сле

1зной

1ответ

Извлечение определенного параметра из факта

Я спросил, как построить список с фактами, упорядоченными определенным символом внутри него, и указанное решение было возвратом значения ключа. Как, например: 1-package(N,3,1). Однако то, что я дейс

0зной

1ответ

Как утверждать правило DCG в Prolog?

Следующие пролог печатает done для целей test1 и test2, но не test3. Я понимаю, что match_test2 и match_test3 в этом коде должны быть эквивалентными. Как создать правило DCG с помощью утверждения? set

0зной

1ответ

Предикат ECLiPSe для проверки того, содержит ли список элементы с определенными позициями в другом списке

Моя цель - создать предикат, который проверяет, содержит ли данный список элементы, занимающие определенные позиции в каком-либо другом списке. Точнее, я ищу предикат, который будет истинным тогда и т