Семьи с одинаковым количество детей.

domains    
     f_name,s_name=string
     member=member(f_name,s_name)
     Childrens=child*
     child=child(f_name)
          
     
predicates  
     nondeterm family(member,member,Childrens)
     nondeterm child_count(integer,Childrens)
     nondeterm zapros1 
     
     
 
       
clauses  
     family(
         member("Sergei","Alexandrov"),
         member("Elena","Alexandrova"),
          [
          child("Alexandr") ,
          child("Ira")]
          ).
     family(
         member("Ser","Ivanov"),
         member("Ina","Ivanova"),
          [
          child("Vova")
          ]
          ).        
     family(
         member("Kolya","Sidorov"),
         member("Anna","Sidorova"),
          [
          child("Lola"), 
          child("Roma")
          ]
          ). 
 
zapros1:- family(member(_,S_name),_,Children),
     child_count(Num,Children),Num=A,writef("%s - has %d child \n",S_name,A),fail.
     child_count(0,[]).
     child_count(Num,[_|T]):-child_count(Num1,T),Num=Num1+1.
        
 
goal
zapros1.