Добрый день! Очень нужна помощь в написании данных программок на прологе со списком. Буду очень благодарна за помощь!

1. Определите предикат p(+U, +V, ?L) - истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V. Используйте рекурсию по U.


2. Напишите предикат p( +L, +N, ?R), который удаляет N элементов с конца списка L.

сдавтаь нужно на swi-прологе

буду особенно благодарна за помощь хотя бы в первой задаче

У меня они есть готовые на турбопрологе, нужно переделать на swi, кто сможет помочь?
 1. 
domains
list = integer*

predicates
del(list,list)
p(list,integer,list)

clauses

del([],[]).
del([X],[]). 
del([H|T],[H|T1]):-
  del(T,T1). 

p(L,0,L).
p(L,N,R):-
  del(L,L1),
  N1=N-1,
  p(L1,N1,R).

goal
clearwindow,
p([1,2,3,4],3,R),write®,nl.

2. 
domains
list = integer*

predicates
member(integer,list)
p(list,list,list)

clauses

member(H,[H|T]).
member(X,[H|T]):-
  member(X,T).
  
p([],L,[]).
p([H|T],L,[H|T1]):-
  not(member(H,L)),!,
  p(T,L,T1).
p([H|T],L,T1):-
  member(H,L),
  p(T,L,T1).  
     
goal
clearwindow,
p([1,5,2,6],[1,2,3,4],R),write®,nl.