/prolog/problems/trees/numberbt