Реализация динамической базы данных

DOMAINS
predmet=v(string,integer)
predmeti=predmet*
student=s(string,string,string,string,integer,string,predmeti)
studenti=student*
list=integer*
slist=string*
 
 
PREDICATES
g(string,integer,integer,studenti).
chislo_grupp(string,integer).
length(list,integer).
member(student,studenti).
member(predmet,predmeti).
na_voennoi(string).
vse_na_voennoi(slist).
otsenka_po_predmetu(string, string, string, string, integer).
gruppy_bez_dvoek(string, integer, integer).
bez_dvoek(predmeti). 
studenty_bez_dvoek(studenti).
 
 
CLAUSES
g(mat,100,1,[s(alla, ivanovna, shajdurova,g,1990,n,[v(matan,2),v(algebra,4)]),s(sergey, aleksandrovich, vakurov,m,1991,y,[v(matan,3)]),s(vera, valerevna, patrusheva,g,1989,n,[v(matan,4),v(algebra,3)])]).
g(fiz,101,2,[s(ruslan, aleksandrovich, lutov,m,1990,y,[v(optika,2),v(termeh,2)]),s(kiril, ilich, petrov,m,1989,y,[v(termeh,4)])]).
g(inf,102,3,[s(sergey, vladimirovich, smolin,m,1989,y,[v(prolog,3),v(vbasic,4)]),s(anna, petrovna, sidyakina,g,1988,n,[v(prolog,3),v(vbasic,5)])]). 
%1
length([],0).
length([_|Tail],N):-length(Tail,N1),N=N1+1.
chislo_grupp(F,N):-findall(Number,g(F,_,Number,_),List),length(List,N).
 
%4
member(H,[H|_]).
member(H,[_|Tail]):-member(H,Tail).
na_voennoi(Surname):-g(_,_,_,Students),member(s(_,_,Surname,_,_,y,_),Students).
vse_na_voennoi(List):-findall(Surname,na_voennoi(Surname),List).
 
%2
otsenka_po_predmetu(FName, MName, LName, Predmet, Otsenka) :-     g(_, _, _, Students),     member(s(FName, MName, LName, _, _, _, Predmeti), Students),     member(v(Predmet, Otsenka), Predmeti). 
 
%3 
bez_dvoek([]). 
bez_dvoek([v(_,Otsenka)|Tail]) :- Otsenka > 2, bez_dvoek(Tail).  
studenty_bez_dvoek([]). 
studenty_bez_dvoek([s(_,_,_,_,_,_,Predmeti)|Tail]) :-     
bez_dvoek(Predmeti),     
studenty_bez_dvoek(Tail).  
gruppy_bez_dvoek(F, Code, Num) :-     
g(F, Code, Num, Students),     
studenty_bez_dvoek(Students). 
 
 
 
goal
%chislo_grupp(mat,N).
%otsenka_po_predmetu(ruslan, aleksandrovich, lutov, optika, Otsenka).
%vse_na_voennoi(L).
%gruppy_bez_dvoek(F, Code, Num).