Занести уникальные элементы из 2х списков в 3й

@JokerNN · Регистрация: 29.12.2011

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

Здравствуйте, дана такая задача: даны 2 списка, занести из них уникальные элементы в 3й список. То есть только те элементы которые встречаются в 1 раз или в 1м списке или во 2м, например на запрос ?-([а,б,в,г],[в,г,д,е],L1) должно получиться L1=а,б,д,е
На форуме нашёл приблизительно такую же для одного, но к сожалению в прологе не силён и не смог разобраться, вот мои наработки (не работающие)

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
DOMAINS
list=symbol*
 
PREDICATES
  nondeterm conc(list,list,list)
  nondeterm member(symbol,list)
nondeterm unic(list,list,list)
nondeterm move(list,list)
  
CLAUSES
member(X,[X|Tail]).
member(X,[Head|Tail]):- member(X,Tail).
conc([],L,L).
conc([X|L1],L2,[X|L3]):-not(member(X,L1));not(member(X,L2)),conc(L1,L2,L3).
move([Head|Tail],[Head|Tail1]):-not(member(Head,Tail)),move(Tail,[Head|Tail1]).
 
unic(L1,L2,L):-conc(L1,L2,L3),move(L3,L).
 
GOAL
unic([a,b,c,d],[b,c,d,e],L).

Заранее спасибо всем кто поможет

@freest · 29.12.2011, 23:32

Рад что Вы сами пытались.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
DOMAINS
s=symbol
list=s*
 
PREDICATES
  member(symbol,list,list)
  member(symbol,list)
  unic(list,list,list)
  del(symbol,list,list)  
CLAUSES
del(_,[],[]):-!.
del(H,[H|T],Tr):-del(H,T,Tr),!.
del(H,[Hr|T],[Hr|Tr]):-del(H,T,Tr).
 
member(H,L1,L2):-
    member(H,L1),!;member(H,L2).
 
member(H,[H|_]):-!.
member(H,[_|T]):- 
    member(H,T).
 
unic([],L2,L2):-!.
unic([H1|T1],L2,R):-
    member(H1,T1,L2),!,
    del(H1,T1,Tr1),del(H1,L2,Lr2),
    unic(Tr1,Lr2,R).
unic([H1|T1],L2,[H1|R]):-
    unic(T1,L2,R).
 
GOAL
unic([a,b,c,d],[b,c,d,e],L).

@JokerNN · 29.12.2011, 23:40 **[ТС]**

Спасибо огромное, а можно ещё подсказать по смыслу отсечений в правилах?

Prolog
1
2
del(_,[],[]):-!.
member(H,[H|_]):-!.

Это насколько я понял условие выхода из рекурсии, а ещё 2?
Особенно вот тут не понятно

Prolog
1
2
3
4
unic([H1|T1],L2,R):-
        member(H1,T1,L2),!,
        del(H1,T1,Tr1),del(H1,L2,Lr2),
        unic(Tr1,Lr2,R).

@freest · 29.12.2011, 23:47

для del
если список пуст, то смысла обрабатывать список дальше нету
для member
если нашли хоть один елемент этого достаточно( отсечение не дает пойти в хвост)

Про условия
алгоритм: берем первый елемент списка1 проверяем или он есть во втором списке или хвотсе первого, если есть, то удаляем все такие елементы в хвосте первго и во втором спиках ( в результат не вносим)(Правило 2). в ином случае он уникальный и мы заносим в реущльтат(правило 3). Если первый список пусть, то второй хранит уникальные значения и возвращяем его как результат(правило 1). Оно и будет концом всех рекурсий.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .	SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	29.12.2011, 23:47
	для del если список пуст, то смысла обрабатывать список дальше нету для member если нашли хоть один елемент этого достаточно( отсечение не дает пойти в хвост) Про условия алгоритм: берем первый елемент списка1 проверяем или он есть во втором списке или хвотсе первого, если есть, то удаляем все такие елементы в хвосте первго и во втором спиках ( в результат не вносим)(Правило 2). в ином случае он уникальный и мы заносим в реущльтат(правило 3). Если первый список пусть, то второй хранит уникальные значения и возвращяем его как результат(правило 1). Оно и будет концом всех рекурсий. 1