% P54A: Write a predicate istree/1 which succeeds if and only if its argument % is a Prolog term representing a binary tree. % % istree(T) :- T is a term representing a binary tree (i), (o) istree(nil). istree(t(_,L,R)) :- istree(L), istree(R).