tuPrologOptimizationLT2012