tuPrologEngineOptimization