ADD: PrologVariables and all PrologTerms, that can hold variables, can now be generated with random variable names.