FIX: Better binding technique for the PrologVariables.