Title: Successful Applications of Prolog