Предикат определения множества объединения двух списков

@LoneR110 · Регистрация: 06.05.2015

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

Помогите пожалуйста с заданием:
Создать предикат определения множества объединения двух списков.

@Catstail · 28.05.2015, 09:41

Имеется в виду, что каждый список есть множество (т.е. состоит из уникальных элементов)?

@LoneR110 · 28.05.2015, 11:51 **[ТС]**

Да.

@Catstail · 28.05.2015, 12:35

Вот один из способов:

Prolog

domains
int=integer
intl=int*
 
predicates
app(intl,intl,intl)
memb(int,intl)
setof(intl,intl)
union(intl,intl,intl)
 
clauses
app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y).
 
memb(_,[]) :- fail.
memb(H,[H|_]) :- !.
memb(H,[_|T]) :- memb(H,T).
 
setof([],[]).
setof([H|T],[H|Q]) :- not(memb(H,T)), setof(T,Q).
setof([H|T],Q)     :- memb(H,T), setof(T,Q).
 
union(X,Y,Z) :- app(X,Y,T), setof(T,Z).

Добавлено через 4 минуты
Но это решение избыточно. Если исходные списки уже являются множествами, то проще так:

Prolog

1
2
3

uni([],X,X).
uni([H|T],X,[H|Y]) :- not(memb(H,X)), uni(T,X,Y).
uni([H|T],X,Y)     :- memb(H,X), uni(T,X,Y).

@innnochka · 27.11.2015, 17:09

а можно как-то реализовать только объединение 2-х списков без оператора отсечения?

@Catstail · 27.11.2015, 17:34

innnochka, объединение (app) не использует отсечения...

@innnochka · 27.11.2015, 17:46

а она именно и выполняет задачу из 2 списков создать 3-ий который есть их объединение?
т.е. вводим: [1,2,4,5] и [1,2,3,6]. выводит: [1,2,3,4,5,6]

@Catstail · 27.11.2015, 18:05

innnochka, нет, у тебя объединение множеств. app([1,2,4,5],[1,2,3,6],R) даст R=[1,2,4,5,1,2,3,6]

@innnochka · 27.11.2015, 18:08

Не могли бы вы помочь с такой программой?
т.е. надо еще написать проверку есть ли символ из 2 списка уже есть в первом, то тогда его надо добавить только 1 раз в итоговый список..

@Catstail · 28.11.2015, 23:08

innnochka, так это все уже было решено.

@innnochka · 29.11.2015, 09:29

вCatstail, в функции memb используется оператор отсечения. Возможно ли написать программу без этого оператора?

Prolog

1
2
3

memb(_,[]) :- fail.
memb(H,[H|_]) :- !.
memb(H,[_|T]) :- memb(H,T).

Добавлено через 21 минуту

Prolog

app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y). 
 
memb(H, [ H | _ ] ) .
memb( Elem, [ _ | T ] ):-memb(Elem, T ).
 
setof([],[]).
setof([H|T],[H|Q]) :- not(memb(H,T)), setof(T,Q).
setof([H|T],Q)     :- memb(H,T), setof(T,Q).
 
union(X,Y,Z) :- app(X,Y,T), setof(T,Z).

вот,готово) этот код и дает ответ на мою задачу, где нет оператора отсечения вообще)

@LoneR110 0 / 0 / 0 Регистрация: 06.05.2015 Сообщений: 15
		1
	Предикат определения множества объединения двух списков 25.05.2015, 17:27. Показов 1873. Ответов 10 Метки нет (Все метки) Помогите пожалуйста с заданием: Создать предикат определения множества объединения двух списков. 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	28.05.2015, 09:41	2
	Имеется в виду, что каждый список есть множество (т.е. состоит из уникальных элементов)? 0

@LoneR110 0 / 0 / 0 Регистрация: 06.05.2015 Сообщений: 15
	28.05.2015, 11:51 [ТС]	3
	Да. 0

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	27.11.2015, 17:09	5
	а можно как-то реализовать только объединение 2-х списков без оператора отсечения? 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	27.11.2015, 17:34	6
	innnochka, объединение (app) не использует отсечения... 0

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	27.11.2015, 17:46	7
	а она именно и выполняет задачу из 2 списков создать 3-ий который есть их объединение? т.е. вводим: [1,2,4,5] и [1,2,3,6]. выводит: [1,2,3,4,5,6] 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	27.11.2015, 18:05	8
	innnochka, нет, у тебя объединение множеств. app([1,2,4,5],[1,2,3,6],R) даст R=[1,2,4,5,1,2,3,6] 0

@innnochka 5 / 5 / 0 Регистрация: 04.10.2015 Сообщений: 30
	27.11.2015, 18:08	9
	Не могли бы вы помочь с такой программой? т.е. надо еще написать проверку есть ли символ из 2 списка уже есть в первом, то тогда его надо добавить только 1 раз в итоговый список.. 0

@Catstail Модератор 36601 / 20330 / 4220 Регистрация: 12.02.2012 Сообщений: 33,640 Записей в блоге: 13
	28.11.2015, 23:08	10
	innnochka, так это все уже было решено. 0

	29.11.2015, 09:29