CHECKPOINT: PrologVariables refactoring in process.