Control Flow Analysis of Prolog