Занести уникальные элементы из 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). Оно и будет концом всех рекурсий.

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Ниже машинный перевод статьи The Thinkpad X220 Tablet is the best budget school laptop period . Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы,. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

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