numbervars+write

[friguzzi]

numbervars instantiated variables are not pretty printed in swish:

see https://swish.swi-prolog.org/p/numbervars_problem.pl

[JanWielemaker]

Thanks. Fixed. Didn't update swish yet, Bug is in pengines package.