Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach