% % IAIC-ETSII % number_of_parents(adan,0). number_of_parents(eve,0). number_of_parents(X,2) :- X \= adan, X \= eva.