MAHLE and ProLogium