Hi,

Jan Wielemaker schrieb:
> Bind the variables to e.g., '$VAR'('VarName') and call write_term using
> the option numbervars(true). That is what the toplevel does.

Unfortunately '$VAR'('VarName') is not ISO, and is
neither widespread, since some other Prolog systems
use '$VAR'("VarName") or work with a write option.

Bye