Towards Putting Abstract Interpretation of Prolog into Practice door Francois Gobert