Towards Putting Abstract Interpretation of Prolog into Practice by Francois Gobert