Описать рекурсивную функцию для заполнения одномерного массива - Prolog - Ответ 6200964

domains
int=integer
intl=int*
 
predicates
arr(int,int,intl)
uarr(int,int,intl)
member(int,intl)
setof(intl,intl)
take(intl,int,intl)
 
clauses
 
%% Взять N элементов с начала списка
 
take(_,0,[]) :- !.
take([H|T],N,[H|Q]) :- N1=N-1, take(T,N1,Q). 
 
%% входит ли число в список
 
member(X,[X|_]) :- !.
member(X,[_|T]) :- member(X,T).
 
%% Удалить повторения (построить множество) из списка
 
setof([],[]) :- !.
setof([H|T],Q) :- member(H,T),setof(T,Q).
setof([H|T],[H|Q]) :- not(member(H,T)), setof(T,Q).
 
%% Заполнить список длины N случайными числами из диапазона
%% [1,M] (с возможными повторениями)
 
arr(M,1,[X]) :- random(Y), X=M*Y, !.
arr(M,N,[X|T]) :- N1=N-1, arr(M,N1,T), random(Y), X=M*Y.
 
%% Решение задачи
 
uarr(M,N,[]) :- N>M, fail.
uarr(M,N,X)  :- N2=N*2, arr(M,N2,Z), setof(Z,Q), take(Q,N,X).