Определите предикат p(+U, +V, ?L) вычисляющий теоретико-множественную разность U\V

@agagag · Регистрация: 20.02.2020

Студворк — интернет-сервис помощи студентам

Здравствуйте, помогите пожалуйста решить эту задачу

Определите предикат p(+U, +V, ?L) -истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V. Используйте рекурсию по U

@Catstail · 23.09.2020, 19:13

Турбо-Пролог:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
domains
int=integer
intl=int*
 
predicates
isIn(int,intl)
diff(intl,intl,intl)
 
clauses
 
isIn(_,[]):- fail.
isIn(X,[X|_]).
isIn(X,[Y|R]) :- X<>Y, isIn(X,R).
 
diff([],_,[]).
diff([X|R],Y,[X|Z]):- not(isIn(X,Y)), diff(R,Y,Z).
diff([X|R],Y,Z)    :- isIn(X,Y), diff(R,Y,Z).
 
goal
diff([1,2,3,4,5,6,7,17],[5,6,7,8,9],U), write(U), nl.

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@agagag 0 / 0 / 0 Регистрация: 20.02.2020 Сообщений: 21

	Определите предикат p(+U, +V, ?L) вычисляющий теоретико-множественную разность U\V 23.09.2020, 10:53. Показов 1131. Ответов 1 Метки разность, списки (Все метки) Здравствуйте, помогите пожалуйста решить эту задачу Определите предикат p(+U, +V, ?L) -истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V. Используйте рекурсию по U 0