lib(numbervars)

   C-Prolog style numbervars predicate

