usable(frunz(N,M,Y1,Y2)):-N=:=276,!;
                                    M=:=276,!;
                                    usable(Y1);
                                    usable(Y2).


il primo cut evita che ci siano due "true" quando sia M sia N
sono istanziati a 276, mentre il secondo cut evita che ci siano 
due "true" quando la query è vera sia a causa di una condizione 
che si verifica nel corpo della clausola sia a causa di una 
condizione che si verifica per una delle due query ricorsive.
