%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]). */
content may be truncated. 'popout' for larger text window.