Множества, списки..

@Sun_shine · Регистрация: 16.04.2016

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

В общем такая ситуация..зачет горит... помогите пожалуйста, кто чем может

((
1. Встроенный предикат functor(+Term, ?Functor, ?Arity) определяет для заданного составного терма Term его функтор Functor и местность Arity.Встроенный предикат arg(+N, +Term, ?Value) определяет для целого числа N и заданного составного терма Term его N-ый аргумент Value.Определите предикаты functor1 и arg1 – аналоги предикатов functor и arg через предикат univ (=..)
2. Напишите предикат p(+L, +N1, +N2, ?R), который удаляет элементы списка L с позиции N1 до позиции N2 включительно.
3. Пусть s1 и s2 *- "множества с повторяющими элементами". Определите предикат p(+S1,+S2,?S), который вычисляет "разность множеств". Так, например, вызов
p([ 1, 2, 1, 2, 1, 3], [5, 3, 3, 1, 2, 2], S) должен давать результат S=[1, 1];
а вызов p([5, 3, 3, 1, 2, 2], [ 1, 2, 1, 2, 1, 3], S) должен давать результат S=[5,3].

@Грымзик · 19.05.2010, 21:34

Первая

Prolog

1
2
3

functor1(T,F,A):-T=..[F|P],length(P,A).
 
arg1(N,T,V):-T=..[_|P],nth1(N,P,V).

Вторая

Prolog

1
2
3

p([_|Tail],1,1,Tail):-!.
p([_|Tail],1,N,NewTail):-!,N1 is N-1, p(Tail,1,N1,NewTail).
p([H|Tail],A,B,[H|NewTail]):-A1 is A-1, B1 is B-1, p(Tail,A1,B1,NewTail).

Третья

Prolog

del([],_,[]).
del([H|Tail],H,Tail):-!.
del([H|Tail],X,[H|NewTail]):-del(Tail,X,NewTail).
 
r(L,[],L).
r(L,[H|Tail],Ans):-del(L,H,Temp),r(Temp,Tail,Ans).

@Sun_shine 0 / 0 / 0 Регистрация: 16.04.2016 Сообщений: 1
		1
	Множества, списки.. 19.05.2010, 18:28. Показов 2863. Ответов 1 Метки нет (Все метки) В общем такая ситуация..зачет горит... помогите пожалуйста, кто чем может(( 1. Встроенный предикат functor(+Term, ?Functor, ?Arity) определяет для заданного составного терма Term его функтор Functor и местность Arity.Встроенный предикат arg(+N, +Term, ?Value) определяет для целого числа N и заданного составного терма Term его N-ый аргумент Value.Определите предикаты functor1 и arg1 – аналоги предикатов functor и arg через предикат univ (=..) 2. Напишите предикат p(+L, +N1, +N2, ?R), который удаляет элементы списка L с позиции N1 до позиции N2 включительно. 3. Пусть s1 и s2 *- "множества с повторяющими элементами". Определите предикат p(+S1,+S2,?S), который вычисляет "разность множеств". Так, например, вызов p([ 1, 2, 1, 2, 1, 3], [5, 3, 3, 1, 2, 2], S) должен давать результат S=[1, 1]; а вызов p([5, 3, 3, 1, 2, 2], [ 1, 2, 1, 2, 1, 3], S) должен давать результат S=[5,3]. 0

	19.05.2010, 21:34