istree.pl 54 B

12
  1. istree(nil).
  2. istree(t(_,L,R)) :- istree(L), istree(R).