Исправить программу

domains
m=integer*
n=integer
 
predicates
spisok(m,n)
spisok2(m)
 
clauses
spisok([],0):-!.
spisok([H|T],K):-
  H mod 5 = 0, spisok(T,K1),K=K1+1;
  spisok(T,K).
 
spisok2([X,Y|Z]):-
  write(Y," "),spisok2(Z);
  !.
 
goal  spisok([10,4,50,5,3,45,56,15,7],L),write("Kolichestvo chisel kratnyh 5 = ",L),nl,nl,spisok2([1,2,3,4,5,6,7]).

domains
int=integer
intl=int*
 
predicates
read_list(intl)
nuc(intl,intl,int,int)
task
 
clauses
read_list([H|T]) :- readint(H),!,read_list(T).
read_list([]).
 
nuc([],[],0,_).
nuc([H|T],[H|R],Q,N) :- (N mod 2)=0,(H mod 5)=0, N1=N+1, nuc(T,R,S,N1), Q=S+H. 
nuc([H|T],[H|R],Q,N) :- (N mod 2)=0,(H mod 5)<>0, N1=N+1, nuc(T,R,Q,N1).
nuc([H|T],R,Q,N) :- (N mod 2)<>0,(H mod 5)=0, N1=N+1, nuc(T,R,S,N1), Q=S+H. 
nuc([H|T],R,Q,N) :- (N mod 2)<>0,(H mod 5)<>0, N1=N+1, nuc(T,R,Q,N1). 
 
task:- write("Enter list"),nl,read_list(A),nuc(A,R,S,1),write("List of elements on even position: "),write(R),nl,
write("Summa of elements of five folds="),write(S),nl.