Помогите, пожалуйста, с кодом Prolog

[nicolaev-s]

Помогите, пожалуйста, с кодом Prolog

Помогите пожалуйста подкорректировать код
В классе 35 учеников, из них 20 школьников занимаются в математическом кружке, 11 - в литературном, 10 - ребят не посещают эти кружки. Сколько литераторов увлекаются математикой?
Решение вроде такое 20+11-(35-10)=6

da_net(1).
da_net(0).

gen(1,[uchenik(Matematika,Literatura)]):-!,da_net(Matematika),da_net(Literatura).
gen(N,[uchenik(Matematika1,Literatura1),uchenik(Matematika2,Literatura2)|Tail]):-
N1 is N-1,gen(N1,[uchenik(Matematika2,Literatura2)|Tail]),
da_net(Matematika1),da_net(Literatura1),
A is Matematika1*10+Literatura1, B is Matematika2*10+Literatura2, A>=B.

count(_,_,[],0).
count(mat,X,[uchenik(X,_)|Tail],N):-!,count(mat,X,Tail,N1),N is N1+1.
count(lit,X,[uchenik(_,X)|Tail],N):-!,count(lit,X,Tail,N1),N is N1+1.
count(all,X,[X|Tail],N):-!,count(all,X,Tail,N1),N is N1+1.
count(Predmet,X,[_|Tail],N):-count(Predmet,X,Tail,N).

solve(N):-gen(35,Ucheniki),
count(mat,1,Ucheniki,20),count(lit,1,Ucheniki,11),
count(all,uchenik(0,0),Ucheniki,10),count(all,uchenik(1,1),Ucheniki,N).

и еще этот код куда пихать

DOMAINS
i=integer il=i*
%
PREDICATES
p(i,il,i)
%
CLAUSES
%
p(0,[A],A):- !.
p(A,[0|B],C):- !, p(A,B,C).
p(A,[B|C],D):- E=A-1, F=B-1, p(E,[F|C],D).