name = 'numberBT/2' slug = 'find the number of nodes in a binary tree' description = '''\

numberBT(T, N): N is the number of nodes in the binary tree T.

?- numberBT(b(b(nil,2,nil),1,b(nil,3,nil)), N).
  N = 3.
''' hint = {}