Пролог

[Psayker]

вот сделал так:

domains
 s=symbol
 s_list=s* 
predicates
 nondeterm member(s,s_list)
 nondeterm peres(s_list,s_list,s_list)
 conc(s_list,s_list,s_list)
clauses
 member(Head,[Head|_]).
 member(Head,[_|Tail]):-member(Head,Tail).

 conc([],L,L).
 conc([X|L1],L2,[X|L3]):-conc(L1,L2,L3). 

 peres([H|T],L1,L):-peres(T,L1,K),!,member(H,L1),conc([H],K,L).
 peres([H|T],L1,L):-peres(T,L1,L),!.
 peres([],_,[]).
goal 
 peres(["1","2","4","5","8"],["1","2","3","5"],L).

но она не правильно работает,можете сказать в чём там ошибка и как её исправить...