%query: sameleaves(i,i).
% by: Bart Demoen <bmd@cs.kuleuven.ac.be>

sameleaves(leaf(L),leaf(L)) .
sameleaves(tree(T1,T2),tree(S1,S2)) :-
		getleave(T1,T2,L,T) ,
		getleave(S1,S2,L,S) ,
		sameleaves(T,S) .

getleave(leaf(A),C,A,C) .
getleave(tree(A,B),C,L,O) :- getleave(A,tree(B,C),L,O) .


/*TWDESC

Checks if two binary trees have the same fringe.

*/

/*TWDEMO

selected_norms([termsize_edges]).

*/